{"push_id":2138740629,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7658bad61553aa5f3284ef39ad8d772e5f5b0831","before":"40a4a487fbc00c27c9d06c02e2df15d5680ac412","commits":[{"sha":"7658bad61553aa5f3284ef39ad8d772e5f5b0831","author":{"name":"Ingo Blechschmidt","email":"d51c81be9f2cbaabce4f2b12d4eda87b918ed5bc@web.de"},"message":"increase reserved space for section numbers in toc","distinct":true,"url":"https://api.github.com/repos/OpenLogicProject/OpenLogic/commits/7658bad61553aa5f3284ef39ad8d772e5f5b0831"}]}
{"actor":{"display_login":"rzach"}}