{"push_id":3020368534,"size":2,"distinct_size":2,"ref":"refs/heads/poly-local-univs","head":"2672ed3fef7127c076723992e5deaac47ffbe438","before":"1dee79af473506c8babe2c8772ca2dc80bb58c57","commits":[{"sha":"21991e1c572d547809d55d5c038aeaab1bad5f3c","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Local universes for opaque polymorphic constants.","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/21991e1c572d547809d55d5c038aeaab1bad5f3c"},{"sha":"2672ed3fef7127c076723992e5deaac47ffbe438","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"change vernac_qed_type to have [VtKeep of vernac_keep_as]","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/2672ed3fef7127c076723992e5deaac47ffbe438"}]}
{"actor":{"display_login":"SkySkimmer"}}