{"push_id":3020174196,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"3c8e41cb39647b8d8cd6cb9ecd6bb887a3aedfb7","before":"3939793d2cb509242cef8c59bdb5cf793af69980","commits":[{"sha":"a6c1292b72cebf3d34a0e6a2da256e83e346dacc","author":{"name":"Gaëtan Gilbert","email":"26fa16609af92f7dd138c57814f0f88d569d969c@skyskimmer.net"},"message":"Fix #8881: validate fails to use inductive equivalence in case_info\n\nSee also 55dbe8e2fa7ed2053ecd54140f6bcbdf31981e0b","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/a6c1292b72cebf3d34a0e6a2da256e83e346dacc"},{"sha":"3c8e41cb39647b8d8cd6cb9ecd6bb887a3aedfb7","author":{"name":"Pierre-Marie Pédrot","email":"d45bbc7219d0bd4f68cd1f2123ca07c7ea74db3e@inria.fr"},"message":"Merge PR #8882: Fix #8881: validate fails to use inductive equivalence in case_info","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/3c8e41cb39647b8d8cd6cb9ecd6bb887a3aedfb7"}]}
{"actor":{"display_login":"ppedrot"}}