{"push_id":571380731,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3cc84957fcee7c2c9fda2a597e9a28f581552873","before":"8c0bec58e61b5c92e9f506e259e74035fa208318","commits":[{"sha":"3cc84957fcee7c2c9fda2a597e9a28f581552873","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"fix typo in error behavior flag","distinct":true,"url":"https://api.github.com/repos/regb/scala-smtlib/commits/3cc84957fcee7c2c9fda2a597e9a28f581552873"}]}