{"push_id":814733737,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4bc822ebbee15f8b01f03366d4f33d05981956dd","before":"cd034c835d7c362346a3adb0b0f92276465ef87f","commits":[{"sha":"4bc822ebbee15f8b01f03366d4f33d05981956dd","author":{"email":"5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com","name":"SUHARA Hiromichi"},"message":"bind の例を追加する。","distinct":true,"url":"https://api.github.com/repos/suharahiromichi/coq/commits/4bc822ebbee15f8b01f03366d4f33d05981956dd"}]}