{"push_id":616683883,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cf79e309a66850c6b1df6bc409a0339330479408","before":"99c6c43ce2246c601ec12b2241a0e8e7c8b17ec9","commits":[{"sha":"cf79e309a66850c6b1df6bc409a0339330479408","author":{"email":"a5d5e300533c4c5237291220c2f60983149f618e@stanford.edu","name":"snarles"},"message":"proof","distinct":true,"url":"https://api.github.com/repos/snarles/misc/commits/cf79e309a66850c6b1df6bc409a0339330479408"}]}