Coq Call 2021 06 23
- June 23rd 2021, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- Roadmap for the coming year (Matthieu, ~15min)
- Coq Team webpage proposal (Matthieu, 5min)
- Towards a solution to the graveyard of lingering PRs (PMP, 5min and the rest of the session devolving into heated debate)
- Roadmap: I will put up a draft of the potential subjects to work on on the wiki, we'll discuss it next week.
- Coq Team webpage: everyone ok, I will put up a PR on coq/www. Agreement to invite Jason Gross to join the core team.
- Think about organizing a two-days event in Paris to meet up among devs (end of september)
- Lingering PRs:
- PMP proposes a simple rule: 2 months with needs:rebase gets closed (with a notification ~1/2 weeks in advance)
- Gaëtan would add needs:fixing as well.
- Hugo would like to have them downgraded as drafts.
- Complicated to mix drafts/actual living PRs.
- Methodology issue: when we start designing a new feature coming from the code, and realize there is no consensus on the feature/syntax/whatever, we should have a way to make progress. PMP says he regularly closes PRs that become failed experiments. On PRs with discussions one should feel free to other communication means?.
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.