docs/Homebrew-Governance: State the election types for PLC and PL

[issyl0]

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew style with your changes locally?
• Have you successfully run brew typecheck with your changes locally?
• Have you successfully run brew tests with your changes locally?

---

• A vote passed in 2021 on an amendment to use these election types (Specify Meek STV election for PLC & Schulze Condorcet election for Project Leader #10637), but the changes to the governance document were only made in Homebrew/brew, not in Homebrew/homebrew-governance-private: https://github.com/Homebrew/brew/pull/13073/files#r844130115.
• When we copied over 2022's proposed changes ahead of the 2022 vote, the specific election voting methods were lost because these documents got out of sync.
• For the elections in 2022, we did use the voting methods as documented in the pre-AGM Homebrew/brew governance document (confirmed in docs/Homebrew-Governance: Schultz Condorcet aka Beatpath #13031 when I couldn't find the term on OpaVote), so let's reinstate them here to avoid confusion.
• Relates to https://github.com/Homebrew/homebrew-governance-private/pull/36.

[BrewTestBot]

Review period will end on 2022-04-12 at 00:00:00 UTC.

[Bo98]

Officially, governance changes only get merged here once approved by the membership.

[issyl0]

Yeah, that's why I've left it without merging. Technically this was a mess up last year (2021) and this reinstates what was there, but officially to the letter of the governance document it does need another vote. I'll ask the rest of the PLC next week.

[Bo98]

Here's a question: when exactly do governance changes apply? Could this amendment in theory be a part of the 2023 AGM, have its results announced first, and then the rest of the elections under the same AGM be under those rules?

[issyl0]

Bo is here with the awkward but excellent questions that I don’t immediately know the answers to. Maybe we’d need a special general meeting (extraordinary? EGM?) to vote on this ahead of 2023? 🤔 We really should have picked up this inconsistency in the two documents last year, whoops.

[BrewTestBot]

Review period skipped due to critical label.

[MikeMcQuaid]

In the AGM itself it was universally agreed that this could be merged without voting considering 1) it's what was already present 2) it's what we literally did for the votes for this AGM and 3) everyone agreed.

Thanks @issyl0!