Core Team Voting Process
These rules were approved by the Coq Core Team on January 10th 2023.
To resolve certain conflicting situations, the core team can proceed to vote on a binary decision, as an ultimate recourse in case consensus cannot be reached. The result binds the core team only and it is its responsibility to enforce the decision.
- Core team members each have a vote (including coordinator).
- Abstention is ok. Delegation of a vote is ok.
- Majority of >= 2/3 of casted votes (in Q)
- Votes take place online, anonymously, within a 72hr voting window.
- The vote must be announced with precise options 2 weeks in advance by the coordinator.
- Decision to take a vote is taken by the coordinator, taking input from the core team members.
- In case a majority of >= 2/3 cannot be reached, the coordinator can decide to launch a second vote with the same announcement conditions and same rules except it is to be decided by > 50% majority. The coordinator's vote is decisive in case of a tie in this second round.
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.