{"push_id":2404831937,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"74dead98486b208e57882b8622f5309403415172","before":"eb94a77306868504f14926457528ce1b1c4916e6","commits":[{"sha":"c803bb6cc31134f0759ecf06d5411ce812e05e54","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[doc] Document removal of deprecated options.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/c803bb6cc31134f0759ecf06d5411ce812e05e54"},{"sha":"9ede60d083899a4446d0be8519cad3d1c244fb27","author":{"name":"Emilio Jesus Gallego Arias","email":"74bd03b9fa5ba9425c7ecadbbbb4d58aa6999825@x80.org"},"message":"[META] Update Coq version number.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/9ede60d083899a4446d0be8519cad3d1c244fb27"},{"sha":"9e2a3531f2e82038f74cd5543eeef7418c494a28","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"[Sphinx] Move credits to new infrastructure","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/9e2a3531f2e82038f74cd5543eeef7418c494a28"},{"sha":"b2fa2802d53cf9a908e98afe058e389c46ab9bec","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"[Sphinx] Add credits","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/b2fa2802d53cf9a908e98afe058e389c46ab9bec"},{"sha":"a85a3b380cee0bde2db87958af1bd01d638eda50","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge PR #6967: [META] Update Coq version number.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/a85a3b380cee0bde2db87958af1bd01d638eda50"},{"sha":"6c8a3e770ec3c0595f638cccce81cb4e82942f19","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge PR #6912: [doc] Document removal of deprecated options.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/6c8a3e770ec3c0595f638cccce81cb4e82942f19"},{"sha":"74dead98486b208e57882b8622f5309403415172","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge PR #6979: Sphinx doc credits","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/74dead98486b208e57882b8622f5309403415172"}]}
{"actor":{"display_login":"maximedenes"}}