{"push_id":1917625188,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"35c5bc2b47cbf6fc50a5c26f8bad72fbdf2465c8","before":"c7eb0c4f5507730983fa710e91b7c151ef367aee","commits":[{"sha":"cfcedd7b21d0447023611d340bd92e1fd8679054","author":{"name":"Xiaohong","email":"46d706fcc0e1729ee0fa660af5b6ee2f10ff6bc2@illinois.edu"},"message":"wip k","distinct":true,"url":"https://api.github.com/repos/kframework/matching-logic-prover/commits/cfcedd7b21d0447023611d340bd92e1fd8679054"},{"sha":"35c5bc2b47cbf6fc50a5c26f8bad72fbdf2465c8","author":{"name":"Xiaohong","email":"46d706fcc0e1729ee0fa660af5b6ee2f10ff6bc2@illinois.edu"},"message":"Merge branch 'master' of github.com:kframework/matching-logic-prover","distinct":true,"url":"https://api.github.com/repos/kframework/matching-logic-prover/commits/35c5bc2b47cbf6fc50a5c26f8bad72fbdf2465c8"}]}
{"actor":{"display_login":"hreada"}}