{"push_id":2901643503,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"fb8365e96ccb5d25d3810af99c36e7b27fec8fad","before":"c2a1cc7473cf4db27ee47ac011409f7a1839b36d","commits":[{"sha":"a454d1dc509aae06eadf7474eb25e90abdf36ca1","author":{"name":"Jim Fehrle","email":"bf824f37ce1959e4c2f9e2b389d1c2711164087e@sbcglobal.net"},"message":"Update flag, option and table descriptions in coqdomain.py, update README.rst to match.\nBump env_version.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/a454d1dc509aae06eadf7474eb25e90abdf36ca1"},{"sha":"fb8365e96ccb5d25d3810af99c36e7b27fec8fad","author":{"name":"Clément Pit-Claudel","email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com"},"message":"Merge PR #8541: Update flag, option and table descriptions in coqdomain.py, update README.rst to match.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/fb8365e96ccb5d25d3810af99c36e7b27fec8fad"}]}
{"actor":{"display_login":"cpitclaudel"}}