{"push_id":937747981,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1ecda888f0170318a28a2bcbdbfce4c6c90a541d","before":"c8139f0b4c8a25ad08069fe186154048408c2ffe","commits":[{"sha":"1ecda888f0170318a28a2bcbdbfce4c6c90a541d","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"CoqIDE 8.5 rc1 added","distinct":true,"url":"https://api.github.com/repos/coq/opam-coq-archive/commits/1ecda888f0170318a28a2bcbdbfce4c6c90a541d"}]}