{"push_id":701441816,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2c1b464f23ba279a0ac6009d79a0203521826e89","before":"13076328468e875003d0b79e801ed5acceeed2d7","commits":[{"sha":"2c1b464f23ba279a0ac6009d79a0203521826e89","author":{"email":"39e910a3ca0facc2762bc300ccba453a3b0b92f0@gmail.com","name":"Aaron Landesman"},"message":"finished proof of complicated induction","distinct":true,"url":"https://api.github.com/repos/aaronlandesman/stacky_reu/commits/2c1b464f23ba279a0ac6009d79a0203521826e89"}]}