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