{"push_id":919926151,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bd7a8f7ed605980d3f0b8b6e7ebadca3fe523930","before":"2f87f010cf4b4d9f69e70d4342cd49024ae38859","commits":[{"sha":"bd7a8f7ed605980d3f0b8b6e7ebadca3fe523930","author":{"email":"5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com","name":"SUHARA Hiromichi"},"message":"証明を追加した。","distinct":true,"url":"https://api.github.com/repos/suharahiromichi/coq/commits/bd7a8f7ed605980d3f0b8b6e7ebadca3fe523930"}]}