{"push_id":2430988435,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"1b569f3eae59802148f4274186746a9ed3e667ed","before":"76dd4f36ec49a5f1e61ec8cfb2093387a8a323cc","commits":[{"sha":"e34773de1e18120dcc2ba8b9ab3d29904abdf845","author":{"name":"Stephane Graham-Lengrand","email":"670a8734ed646396041c72d2192c6fd5a0f2272a@sri.com"},"message":"Simplified EGraph signatures a bit","distinct":false,"url":"https://api.github.com/repos/disteph/cdsat/commits/e34773de1e18120dcc2ba8b9ab3d29904abdf845"},{"sha":"1b569f3eae59802148f4274186746a9ed3e667ed","author":{"name":"Stephane Graham-Lengrand","email":"670a8734ed646396041c72d2192c6fd5a0f2272a@sri.com"},"message":"adding version.ml","distinct":false,"url":"https://api.github.com/repos/disteph/cdsat/commits/1b569f3eae59802148f4274186746a9ed3e667ed"}]}
{"actor":{"display_login":"disteph"}}