{"push_id":971355345,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f93242c26ad03ef68a28b74da21ec663c38337b3","before":"8ec2583cc7af208d34e757ec2b3cbe9cdbe98ed1","commits":[{"sha":"f93242c26ad03ef68a28b74da21ec663c38337b3","author":{"email":"e33f4f5d1f1ad1861ef886d877e13dafb34f6e21@indiana.edu","name":"Amr"},"message":"done with esop proof","distinct":true,"url":"https://api.github.com/repos/JacquesCarette/pi-dual/commits/f93242c26ad03ef68a28b74da21ec663c38337b3"}]}