{"push_id":2800073229,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a37f7a5cedf071e44ed615800764bd3ac674eeca","before":"2cfa41a18d8719cb3912ab9b4cf7c163dd7e551f","commits":[{"sha":"a37f7a5cedf071e44ed615800764bd3ac674eeca","author":{"name":"Samuel Gruetter","email":"f282ad438ecadc93e62523946ab50d77b680b96f@epfl.ch"},"message":"more lemmas about Z","distinct":true,"url":"https://api.github.com/repos/mit-plv/bbv/commits/a37f7a5cedf071e44ed615800764bd3ac674eeca"}]}
{"actor":{"display_login":"samuelgruetter"}}