{"push_id":2489029310,"size":1,"distinct_size":1,"ref":"refs/heads/gitlab-opam-boot","head":"05ff14b579d650ed09cdb9e63ecf776294732e53","before":"c4cf64e2fe132f9acdbad25871ae0a37d3e38fae","commits":[{"sha":"05ff14b579d650ed09cdb9e63ecf776294732e53","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"gitlab: use opam init and OPAMROOT","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/05ff14b579d650ed09cdb9e63ecf776294732e53"}]}
{"actor":{"display_login":"SkySkimmer"}}