{"push_id":1565293405,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c40d1d03194bfa7bc6ab8de922107cc8af15ba26","before":"bc480a9872012234accff5b63e5d6cc6f67292fa","commits":[{"sha":"c40d1d03194bfa7bc6ab8de922107cc8af15ba26","author":{"name":"Piyush P Kurur","email":"0227b560a77cff56531e72f13f51406c4a278c3e@cse.iitk.ac.in"},"message":"crush_ast_obligation: added function equality checks.","distinct":true,"url":"https://api.github.com/repos/piyush-kurur/verse-coq/commits/c40d1d03194bfa7bc6ab8de922107cc8af15ba26"}]}
{"actor":{"display_login":"piyush-kurur"}}