{"push_id":599776468,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9313dc67d83af76f99bb3ec2792c5070ea7c0edc","before":"2c253171ce1c8005dd9405cb711bbd1b08c342d6","commits":[{"sha":"9313dc67d83af76f99bb3ec2792c5070ea7c0edc","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"all cases cover in printer for responses","distinct":true,"url":"https://api.github.com/repos/regb/scala-smtlib/commits/9313dc67d83af76f99bb3ec2792c5070ea7c0edc"}]}