PEP 13: Clarify tie resolution (#4672)

Co-authored-by: Hugo van Kemenade <[email protected]>

Author: 2 people

peps/pep-0013.rst

@@ -107,8 +107,8 @@ A council election consists of two phases:
 * Phase 2: Each core team member can assign zero to five stars to each
   candidate. Voting is performed anonymously. The outcome of the vote
   is determined using the `STAR voting system <https://www.starvoting.org/>`__,
-  modified to use the `Multi-winner Bloc STAR <https://www.starvoting.org/multi_winner>`__)
-  approach. If a tie occurs, it may
+  modified to use the `Multi-winner Bloc STAR <https://www.starvoting.org/multi_winner>`__
+  approach. If a tie that is not automatically resolved by the election software occurs, it may
   be resolved by mutual agreement among the candidates, or else the
   winner will be chosen at random.
 
@@ -358,6 +358,9 @@ History of amendments
   Adopted Multi-winner Bloc STAR voting for council elections.
 * `2024-12-10 <https://discuss.python.org/t/72293/4>`__:
   Added a one-week deadline for seconding a vote of no confidence.
+* `2025-11-12 <https://discuss.python.org/t/104607>`__:
+  Clarified that the software used for elections may resolve ties
+  automatically if possible.