Towards a solution to the graveyard of lingering PRs (PMP, 5min and the rest of the session devolving into heated debate)
Notes (from Matthieu)
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?.