{"push_id":577738614,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9661cf9ee27d25616809138136ea0866b8c8a451","before":"8b37b5e95cd87093734ee342b484b1786c8c0bfe","commits":[{"sha":"9661cf9ee27d25616809138136ea0866b8c8a451","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"todo comment","distinct":true,"url":"https://api.github.com/repos/regb/scala-smtlib/commits/9661cf9ee27d25616809138136ea0866b8c8a451"}]}