{"push_id":3123583475,"size":12,"distinct_size":10,"ref":"refs/heads/master","head":"10b07a187522b74bbcc9355d3ff9c4153f300706","before":"fa20a54d9fbe0f3872614a592fcef7ef56b05e49","commits":[{"sha":"408dbcd87d49f4ced433e0dccc7f505ce9194c86","author":{"name":"Yao Li","email":"c5f0d4a5745b7f3ffb61e77968e36c6d892cce98@gmail.com"},"message":"The usual order of strings.","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/408dbcd87d49f4ced433e0dccc7f505ce9194c86"},{"sha":"f3a7d021e6b347c2c0edf3c07f3206f22dcdf39a","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"unignore Makefile.install\n\nRelevant for gitignore aware tools like ag (silversearcher)","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/f3a7d021e6b347c2c0edf3c07f3206f22dcdf39a"},{"sha":"e3a2a5d4fc3ad29462f2e4548c32ac00b4fbd05f","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Rename generated directory gramlib__pack -> gramlib/.pack\n\nIt's a bit cleaner this way, especially wrt the number of toplevel directories.\n\nAlso fix warning about undefined GRAMMARCMA while we're at it.","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/e3a2a5d4fc3ad29462f2e4548c32ac00b4fbd05f"},{"sha":"fb81b677b546e2e596f411195684ba47ebe67d91","author":{"name":"Hugo Herbelin","email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr"},"message":"Do so that an error message follows the \"Error:\" header on the same line.","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/fb81b677b546e2e596f411195684ba47ebe67d91"},{"sha":"e245e31a6fa3df465f99159999aac6ebbc0b48eb","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"[dune] Install coq libraries in `%{lib_root}/coq` instead of `lib`\n\nThis is what the native Dune Coq version already does, but it is a\nproblem for Coq Dune too as noted by @vgbl.","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/e245e31a6fa3df465f99159999aac6ebbc0b48eb"},{"sha":"9f33dc1ac4e06c0bda64fa817cb3fbbbb56cc0b1","author":{"name":"Christian Doczkal","email":"ca606d6610d283794de937788d0ab21fd87f2e35@ens-lyon.fr"},"message":"add relation-algebra to CI test suite","distinct":false,"url":"https://api.github.com/repos/chdoc/coq/commits/9f33dc1ac4e06c0bda64fa817cb3fbbbb56cc0b1"},{"sha":"c6f998985813b1eb91e909d7d7408bc3e44f9d3b","author":{"name":"Christian Doczkal","email":"ca606d6610d283794de937788d0ab21fd87f2e35@ens-lyon.fr"},"message":"fix copy-paste error in CI_ARCHIVEURL","distinct":false,"url":"https://api.github.com/repos/chdoc/coq/commits/c6f998985813b1eb91e909d7d7408bc3e44f9d3b"},{"sha":"9c816837de38b8c0766d49d3923b4338012c4fc1","author":{"name":"Hugo Herbelin","email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr"},"message":"Merge PR #7221: The usual order of strings.","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/9c816837de38b8c0766d49d3923b4338012c4fc1"},{"sha":"cb287591722e4d44671eb8c90138cf063ac5b707","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"Merge PR #9106: [dune] Install coq libraries in `%{lib_root}/coq` instead of in `lib","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/cb287591722e4d44671eb8c90138cf063ac5b707"},{"sha":"01f4470c330ce52b03046d5b98cd5af3ac87272e","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Merge PR #9177: add relation-algebra to CI test suite","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/01f4470c330ce52b03046d5b98cd5af3ac87272e"},{"sha":"3f014b0c883cd71cf751b0ccc297edb38e46ae47","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"Merge PR #9077: Rename generated directory gramlib__pack -> gramlib/.pack","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/3f014b0c883cd71cf751b0ccc297edb38e46ae47"},{"sha":"10b07a187522b74bbcc9355d3ff9c4153f300706","author":{"name":"Emilio Jesus Gallego Arias","email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org"},"message":"Merge PR #9145: Do so that an error message follows the \"Error:\" header on the same line","distinct":true,"url":"https://api.github.com/repos/chdoc/coq/commits/10b07a187522b74bbcc9355d3ff9c4153f300706"}]}
{"actor":{"display_login":"chdoc"}}