{"head":"a1a173f02acd41f97964e0295b96e8574717b1ec","size":2,"push_id":46713211,"commits":[{"sha":"da21d13b3e9e8b29dee65830efa5aaa23f267abc","author":{"name":"Yoichi Hirai","email":"7ecf16ebb75bea5bc8309fbecd3e3df799ab4371@is.s.u-tokyo.ac.jp"},"url":"https://api.github.com/repos/kazu-yamamoto/llrbtree/commits/da21d13b3e9e8b29dee65830efa5aaa23f267abc","message":"Add comment: coq version"},{"sha":"a1a173f02acd41f97964e0295b96e8574717b1ec","author":{"name":"Kazu Yamamoto","email":"a14e6e580b1547da8abb79b40ff9ff1a28132dbe@iij.ad.jp"},"url":"https://api.github.com/repos/kazu-yamamoto/llrbtree/commits/a1a173f02acd41f97964e0295b96e8574717b1ec","message":"Merge pull request #2 from pirapira/master\n\nadding Coq version"}],"ref":"refs/heads/master","legacy":{"head":"a1a173f02acd41f97964e0295b96e8574717b1ec","size":2,"push_id":46713211,"shas":[["da21d13b3e9e8b29dee65830efa5aaa23f267abc","yh@is.s.u-tokyo.ac.jp","Add comment: coq version","Yoichi Hirai"],["a1a173f02acd41f97964e0295b96e8574717b1ec","kazu@iij.ad.jp","Merge pull request #2 from pirapira/master\n\nadding Coq version","Kazu Yamamoto"]],"ref":"refs/heads/master"}}