{"push_id":2443653839,"size":1,"distinct_size":1,"ref":"refs/heads/master+fix-7110-alias-nested-pattern-notations","head":"8ad6bf357284f3fcfd94f08561450bb5bf38ad36","before":"30b281c426fa0561e41c9aca9ac852260f939d69","commits":[{"sha":"8ad6bf357284f3fcfd94f08561450bb5bf38ad36","author":{"name":"Hugo Herbelin","email":"785e2cbe854d07e62ab9406d6852942772342316@inria.fr"},"message":"Fixes #7110 (\"as\" untested while looking for notation for nested patterns).","distinct":true,"url":"https://api.github.com/repos/herbelin/github-coq/commits/8ad6bf357284f3fcfd94f08561450bb5bf38ad36"}]}
{"actor":{"display_login":"herbelin"}}