{"push_id":957555652,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b2d05f3bab82f3abad4b9c822ee8428b4728d51d","before":"b0b8f311989a8f4fb9499dd2fc096d772b715251","commits":[{"sha":"b2d05f3bab82f3abad4b9c822ee8428b4728d51d","author":{"email":"20053a48688cff52b9d62b07b361c9ccc1cfc644@gmail.com","name":"Gregory Malecha"},"message":"a bit more cleanup of the README.md","distinct":true,"url":"https://api.github.com/repos/gmalecha/coq-with-hint-db/commits/b2d05f3bab82f3abad4b9c822ee8428b4728d51d"}]}