{"push_id":2377150009,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6a1684dc0ba5b50eb7ce3a1f180ae9bf7cd08d9b","before":"abe3a8186b3d8f362a25025cf4083ad20ec89e69","commits":[{"sha":"6a1684dc0ba5b50eb7ce3a1f180ae9bf7cd08d9b","author":{"name":"minki cho","email":"c18ca345a21d75121f9ab657addb6d06a51c8691@sf.snu.ac.kr"},"message":"unify coq-paco.8.*.dev","distinct":true,"url":"https://api.github.com/repos/minkiminki/opam-coq-archive/commits/6a1684dc0ba5b50eb7ce3a1f180ae9bf7cd08d9b"}]}
{"actor":{"display_login":"minkiminki"}}