{"push_id":680029604,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a18bbe54232227cf791a2ff204c1b09f60eb908d","before":"c427c5f6e86ff6fb5d00cb9b74b7dacf098a1a80","commits":[{"sha":"a18bbe54232227cf791a2ff204c1b09f60eb908d","author":{"email":"5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com","name":"SUHARA Hiromichi"},"message":"eqb に対するコアーションの説明を追加した。","distinct":true,"url":"https://api.github.com/repos/suharahiromichi/coq/commits/a18bbe54232227cf791a2ff204c1b09f60eb908d"}]}