Coq Call 2022 08 31 - coq/coq GitHub Wiki

• August 31st, 2022, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• https://github.com/coq/coq/pull/16428
• End of Heroku free plans and consequences for coqbot (Théo) https://coq.zulipchat.com/#narrow/stream/243318-coqbot-devs-.26-users/topic/End.20of.20Heroku.20free.20plan.2E
• should we rethink our PR process? (Enrico, 10 minutes)