{"push_id":2586923627,"size":2,"distinct_size":2,"ref":"refs/heads/fix-restrict","head":"17a080ed7feb3af70c10f11e1b11e91b5a8b6c06","before":"2fbe6419a7a3756b83e745072e9331be955051b1","commits":[{"sha":"4ae8bba6eeb01c65971bbacff88a5ee83f9da939","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Fix restrict_universe_context","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/4ae8bba6eeb01c65971bbacff88a5ee83f9da939"},{"sha":"17a080ed7feb3af70c10f11e1b11e91b5a8b6c06","author":{"name":"Enrico Tassi","email":"4f6d07e2b142da7a8716d1cd541ae44f0d273335@inria.fr"},"message":"overlay triggering bug #7472 (that #7495) is supposed to fix","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/coq/commits/17a080ed7feb3af70c10f11e1b11e91b5a8b6c06"}]}
{"actor":{"display_login":"SkySkimmer"}}