{"push_id":891960275,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"303ffa8a98a42022306a8e6fc6d22bb883934032","before":"661aad1ff59768997ed4b424110fe243ed8dd512","commits":[{"sha":"303ffa8a98a42022306a8e6fc6d22bb883934032","author":{"email":"5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com","name":"SUHARA Hiromichi"},"message":"証明を完成した。","distinct":true,"url":"https://api.github.com/repos/suharahiromichi/coq/commits/303ffa8a98a42022306a8e6fc6d22bb883934032"}]}