{"push_id":570951212,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a037514ac603516cca8fd307443f00ec58600e40","before":"69ef6ed79b6947c983933ae1f2fe3028e996cef6","commits":[{"sha":"a037514ac603516cca8fd307443f00ec58600e40","author":{"email":"26526c99d12416a2aef9624e356662eb94a1fc0e@galois.com","name":"Robert Dockins"},"message":"Bump version to 0.14 and fixup API change after merging upstream ABC changes","distinct":true,"url":"https://api.github.com/repos/GaloisInc/abcBridge/commits/a037514ac603516cca8fd307443f00ec58600e40"}]}