{"push_id":840410794,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"f8aab936922954eee6e09fd401e4833ddf5b3563","before":"674a0172ba63d5f3cd9da1037ab90dcff93ba2a0","commits":[{"sha":"ae3e6487fc9d153568148156d9a6d62b09ee41f7","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"Fix Menhir's package description to remove standard.mly upon removing Menhir.\nThis should avoid an opam warning about a non-empty directory.","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/ae3e6487fc9d153568148156d9a6d62b09ee41f7"},{"sha":"62ff04333466c8ec9e8debf5de6e6a09f9d01449","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"Merge remote branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/62ff04333466c8ec9e8debf5de6e6a09f9d01449"},{"sha":"cba85a855af3cb6f0a3e4c46653f24e1eef36cb2","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"New release of Menhir.","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/cba85a855af3cb6f0a3e4c46653f24e1eef36cb2"},{"sha":"646c7c962192d977fb9afaa40627d1e39c3afc5b","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"Simplified my [remove] entry by just calling [make uninstall].\nUntested. I hope this works (is the Makefile around at remove time?).","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/646c7c962192d977fb9afaa40627d1e39c3afc5b"},{"sha":"ebf2da222d11d21d1e38e91965ac5bbbea30d654","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"Merge remote branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/ebf2da222d11d21d1e38e91965ac5bbbea30d654"},{"sha":"350986b9de34967fc338dbf5bb91282cd6471c79","author":{"email":"5a915e2f2141129274671d7909c1ee399fc9b3dd@inria.fr","name":"François Pottier"},"message":"Fixed remove script in 20151012 package description for Menhir.","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/350986b9de34967fc338dbf5bb91282cd6471c79"},{"sha":"f8aab936922954eee6e09fd401e4833ddf5b3563","author":{"email":"ff9ab3e0493661a48402120b7585a87a84d80172@gmail.com","name":"yallop"},"message":"Merge pull request #5034 from fpottier/master\n\nNew release of Menhir.","distinct":true,"url":"https://api.github.com/repos/ocaml/opam-repository/commits/f8aab936922954eee6e09fd401e4833ddf5b3563"}]}