{"push_id":1101999419,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"bd59fb39700cc2d5372fd01ed783c68b36cba662","before":"d67248d78b11588bdb358042ad3c656426fab42f","commits":[{"sha":"3dad51976693ea9d2c502554df0ec25d05220f07","author":{"email":"92e3c6af58fa0f22f04d6c7c462a2dd0fb2c9153@mail.com","name":"flyspeck"},"message":"updated pent.m for completeness","distinct":true,"url":"https://api.github.com/repos/flyspeck/publications-of-thomas-hales/commits/3dad51976693ea9d2c502554df0ec25d05220f07"},{"sha":"bd59fb39700cc2d5372fd01ed783c68b36cba662","author":{"email":"92e3c6af58fa0f22f04d6c7c462a2dd0fb2c9153@mail.com","name":"flyspeck"},"message":"Merge branch 'master' of https://github.com/flyspeck/publications-of-thomas-hales","distinct":true,"url":"https://api.github.com/repos/flyspeck/publications-of-thomas-hales/commits/bd59fb39700cc2d5372fd01ed783c68b36cba662"}]}