Core Team Voting Process: we brainstormed the rules and will take a first vote to validate this.
Renaming: we will vote again now that we know more, and in the meantime, we will share a blog post (written by the Survey WG and reviewed and validated by the core team) announcing the renaming results and the plans.
coqbot: needs: full CI will become a regular needs label (not automatically set/unset by the bot), request: full CI will replace it for controlling full CI on push (asking @coqbot run full CI also remains possible)