{"push_id":709509902,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bf8aa8a9b3e30839304a5e1979fa7e886a471f7c","before":"7727dfda503419c7baa8449539f7962253f6cb2f","commits":[{"sha":"bf8aa8a9b3e30839304a5e1979fa7e886a471f7c","author":{"email":"0e22268e0a7353709767c2ac4f2bcea47771a1c0@stanford.edu","name":"peterruhm"},"message":"edits to section 3 first two lemmas","distinct":true,"url":"https://api.github.com/repos/aaronlandesman/stacky_reu/commits/bf8aa8a9b3e30839304a5e1979fa7e886a471f7c"}]}