{"push_id":555365918,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0d971c510a9db768f1b04a984adf7ea53dd7b1ef","before":"9f060ee2dba0e5a7951c14a32fa726c05a3f4fe9","commits":[{"sha":"0d971c510a9db768f1b04a984adf7ea53dd7b1ef","author":{"email":"684707b5b733689fb0b2a0289a21dcf29df0ad82@HasibShakur","name":"MDHASIBBIN"},"message":"resolved error","distinct":true,"url":"https://api.github.com/repos/HasibShakur/CVC4/commits/0d971c510a9db768f1b04a984adf7ea53dd7b1ef"}]}