{"push_id":2725743368,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"eefafacb785493c73f9613232c7c663d996637cf","before":"744fad283604e6fd1d7546ae931477916226c2c6","commits":[{"sha":"eefafacb785493c73f9613232c7c663d996637cf","author":{"name":"Andrew Butterfield","email":"308b9f45ce27f105130d16d70464c8e91b9f18e1@scss.tcd.ie"},"message":"Laws and Conjectures now updated after succesful proof","distinct":true,"url":"https://api.github.com/repos/andrewbutterfield/reasonEq/commits/eefafacb785493c73f9613232c7c663d996637cf"}]}
{"actor":{"display_login":"andrewbutterfield"}}