{"push_id":2987675039,"size":2,"distinct_size":2,"ref":"refs/heads/clpr-kt","head":"5fe3567aa562c7b2472a4f33edd989aa0a811902","before":"9f9047f5bb201d46f16febac65d3968f313ac8a9","commits":[{"sha":"d4ae79f45d731eed209535594d06309ba7c7543f","author":{"name":"Xiaohong Chen","email":"a881358833ea53c55aeef744b857ac5fac2b2f30@illinois.edu"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/hreada/matching-logic-prover/commits/d4ae79f45d731eed209535594d06309ba7c7543f"},{"sha":"5fe3567aa562c7b2472a4f33edd989aa0a811902","author":{"name":"Xiaohong Chen","email":"a881358833ea53c55aeef744b857ac5fac2b2f30@illinois.edu"},"message":"fix","distinct":true,"url":"https://api.github.com/repos/hreada/matching-logic-prover/commits/5fe3567aa562c7b2472a4f33edd989aa0a811902"}]}
{"actor":{"display_login":"hreada"}}