{"push_id":2995377488,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e4c3150656d2022c7f9b7dcd17465eba54cc83da","before":"10bbdb858815649ddbff48c7c55ae1c958806607","commits":[{"sha":"4539540a886dc7f27ec5816093dfdb516173e921","author":{"name":"Guillaume Claret","email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me"},"message":"Lint pi-agm.1.2.1","distinct":true,"url":"https://api.github.com/repos/coq/opam-coq-archive/commits/4539540a886dc7f27ec5816093dfdb516173e921"},{"sha":"e4c3150656d2022c7f9b7dcd17465eba54cc83da","author":{"name":"Guillaume Claret","email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me"},"message":"Merge pull request #485 from clarus/pi-agm.1.2.1-lint\n\nLint pi-agm.1.2.1","distinct":true,"url":"https://api.github.com/repos/coq/opam-coq-archive/commits/e4c3150656d2022c7f9b7dcd17465eba54cc83da"}]}
{"actor":{"display_login":"clarus"}}