{"push_id":1484121140,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3175ff1b455605931c5886d790aed9ef3a30396b","before":"42a772573a41d9e214a246134fa448a76d276e94","commits":[{"sha":"0851035885896b98fb9166d128d30e4562c525e7","author":{"name":"Mihir Mehta","email":"a55e4e0056f9c662ec8abac7ae7bbc1bff86ce54@gmail.com"},"message":"Save a saved theorem, figure out how to save another","distinct":true,"url":"https://api.github.com/repos/airbornemihir/turbo-octo-sniffle/commits/0851035885896b98fb9166d128d30e4562c525e7"},{"sha":"3175ff1b455605931c5886d790aed9ef3a30396b","author":{"name":"Mihir Mehta","email":"a55e4e0056f9c662ec8abac7ae7bbc1bff86ce54@gmail.com"},"message":"Add some comments and some proof instructions","distinct":true,"url":"https://api.github.com/repos/airbornemihir/turbo-octo-sniffle/commits/3175ff1b455605931c5886d790aed9ef3a30396b"}]}
{"actor":{"display_login":"airbornemihir"}}