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