{"push_id":1039337699,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"930e21b193f612ed8eb1323894c3e72fc4b842ac","before":"ec181381c1fb4f6ae27c9313f9eb10ad8d95498b","commits":[{"sha":"930e21b193f612ed8eb1323894c3e72fc4b842ac","author":{"email":"0a8c5167220991f15ec3b425c1b314aa4c1da54d@rpi.edu","name":"kevingoneill"},"message":"More proofs!","distinct":true,"url":"https://api.github.com/repos/kevingoneill/SemanticProver/commits/930e21b193f612ed8eb1323894c3e72fc4b842ac"}]}