{"push_id":2929765446,"size":1,"distinct_size":1,"ref":"refs/heads/travis_short_proof","head":"bf29b8234db5aed1edb890eeb99c3e19de2fc37e","before":"dda4c72c388863ec7213ee0260315d97c0115889","commits":[{"sha":"bf29b8234db5aed1edb890eeb99c3e19de2fc37e","author":{"name":"Travis Scrimshaw","email":"61ef5391685dd4d1c8b57fb5ba9e6a5f7e1ca399"},"message":"Trying to improve some stuff in Section 3.5 and with Theorem 3.8.","distinct":true,"url":"https://api.github.com/repos/darijgr/schur-mlq/commits/bf29b8234db5aed1edb890eeb99c3e19de2fc37e"}]}
{"actor":{"display_login":"tscrim"}}