{"push_id":969949853,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b9f9d2e83302be4e9ae06e57caf604777189e9c8","before":"2ee0d13929f10531ccb0f660c9cdcaf8d7906c85","commits":[{"sha":"482212105dc2213df0cc0743d25a1dc96b304873","author":{"email":"213b8073171721bf6f0b4e0bba825f2cf2015eff@gmail.com","name":"Matthias Güdemmann"},"message":"initial commit of C API and Racket FFI","distinct":true,"url":"https://api.github.com/repos/mgudemann/cmsat/commits/482212105dc2213df0cc0743d25a1dc96b304873"},{"sha":"b9f9d2e83302be4e9ae06e57caf604777189e9c8","author":{"email":"213b8073171721bf6f0b4e0bba825f2cf2015eff@gmail.com","name":"Matthias Güdemmann"},"message":"change include in cmsat.h","distinct":true,"url":"https://api.github.com/repos/mgudemann/cmsat/commits/b9f9d2e83302be4e9ae06e57caf604777189e9c8"}]}