Coq Call 2024 04 30 - coq/coq GitHub Wiki

• April 30rd, 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• More cleanups (CoqIDE, async, side effects) [Emilio, 20mins]
• Dangers of making env mutable see comment in #17674 [Emilio, 10 mins]
• github doesn't allow code owners to push on PR branch, even when maintainer pushing is enabled by author: https://github.com/coq/coq/pull/18628#issuecomment-2061880471 [Pierre, 10min]
  • (on the technical side, this is because only the core team has "maintain" permissions and other maintainers have "write" permissions)
• https://github.com/coq/coq/pull/18880 is ready [Pierre, 5 min]

Roles

• Chairman:
• Secretary: Pierre Rousselin

Notes

Attending: Emilio Gallego, Gaëtan Gilbert, Pierre Rousselin, Theo Zimmerman

Due to a small number of participants, only the third point was discussed. Theo Zimermann thinks this might be a bug from Github and intends to open an issue.