{"push_id":1782440022,"size":1,"distinct_size":1,"ref":"refs/heads/merge-pr513","head":"7e05d9259ac2ce21ad1c984ef238f43a1a742278","before":"52627e890ad98948bda1b4dd08db32ec3aec0918","commits":[{"sha":"7e05d9259ac2ce21ad1c984ef238f43a1a742278","author":{"name":"Maxime Dénès","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@maximedenes.fr"},"message":"Merge PR#513: A fix to #5414 (ident bound by ltac names now known for \"match\").","distinct":true,"url":"https://api.github.com/repos/maximedenes/coq/commits/7e05d9259ac2ce21ad1c984ef238f43a1a742278"}]}
{"actor":{"display_login":"maximedenes"}}