{"push_id":2395558441,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"fff6d19ac4304fef745fd87c6f153c3c19339973","before":"477d65563a1fffe201671984a91b00ae6ff1db51","commits":[{"sha":"f1fdd54b6290ccd52e073392e1a8476089f45f00","author":{"name":"Frédéric Besson","email":"ed001bd823428b17b381248d40111a04f1cd5da7@inria.fr"},"message":"initial release of ppsimpl","distinct":true,"url":"https://api.github.com/repos/fajb/opam-coq-archive/commits/f1fdd54b6290ccd52e073392e1a8476089f45f00"},{"sha":"fff6d19ac4304fef745fd87c6f153c3c19339973","author":{"name":"Frédéric Besson","email":"ed001bd823428b17b381248d40111a04f1cd5da7@inria.fr"},"message":"Merge branch 'master' of https://github.com/fajb/opam-coq-archive","distinct":true,"url":"https://api.github.com/repos/fajb/opam-coq-archive/commits/fff6d19ac4304fef745fd87c6f153c3c19339973"}]}
{"actor":{"display_login":"fajb"}}