{"push_id":1131286666,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5a97ae0820747af37f1cabce69e7649e88acb681","before":"dcb73e70575406db5ef94eb48a9ad5b2bdf7b31a","commits":[{"sha":"5a97ae0820747af37f1cabce69e7649e88acb681","author":{"name":"lianah","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"message":"Disabled m4ri in cryptominisat cmake command","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/5a97ae0820747af37f1cabce69e7649e88acb681"}]}
{"actor":{"display_login":"lianah"}}