{"push_id":931038793,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b4106708fcff245122012c28da7e02e5b36e4882","before":"2701005843dfaa038f30782de780d9fdec15a5e8","commits":[{"sha":"b4106708fcff245122012c28da7e02e5b36e4882","author":{"email":"099517b593e3715609e6bf26533316e14f62bd90@gmail.com","name":"Kevin Z Chen"},"message":"Update Makefile","distinct":true,"url":"https://api.github.com/repos/zchn/proofweb/commits/b4106708fcff245122012c28da7e02e5b36e4882"}]}