{"push_id":2802533892,"size":1,"distinct_size":1,"ref":"refs/heads/highlevel-design","head":"1cf1c89d09bc97878f4617c3d50bcb5192c4b8a3","before":"23183764482d1cef030e9e9de9f9a64d92441bf3","commits":[{"sha":"1cf1c89d09bc97878f4617c3d50bcb5192c4b8a3","author":{"name":"Xiaohong Chen","email":"8f7f061f1da92382ec8123cc76e6e16e8de87678@gmail.com"},"message":"collect static heap properties","distinct":true,"url":"https://api.github.com/repos/hreada/matching-logic-prover/commits/1cf1c89d09bc97878f4617c3d50bcb5192c4b8a3"}]}
{"actor":{"display_login":"hreada"}}