[VOTE] PHP 8 Release Managers

Hi,

I probably should have mentioned until when I was intending to keep this
open, but it would be the usual time frame for voting, making this end
on April 21st, at 16:00 UTC+1.

cheers,
Derick

Hi,

We have four candidates:
Ben Ramsey, Gabriel Caruso, Joe Ferguson, and Sara Golemon

I've put a ranked voting poll online at
https://wiki.php.net/todo/php80#release_managers

Please fill in your first to fourth preferences, making sure you do not
pick a candidate more than once. You don't have to fill in all 4
preferences, but please don't leave gaps.

cheers,
Derick

--
PHP 7.4 Release Manager
Host of PHP Internals News: https://phpinternals.news
Like Xdebug? Consider supporting me: https://xdebug.org/support
https://derickrethans.nl | https://xdebug.org | https://dram.io
twitter: @derickr and @xdebug

Hi,

The vote on the PHP 8.0 Release Managers is now closed, and I've run the
STV system to elect our next RMs!

(Spreadsheet is at
https://docs.google.com/spreadsheets/d/1zK425Lu-kYSzsLjL0_U5eLhpr5JYI7vCkZNtPOO_2wE/edit#gid=671237143
if you want to check the numbers)

Votes: 42, Seats: 2, Quorum: 15 floor(42 / (2+1)) + 1

First preference:

Ben 7
Gabriel 2
Joe 1
Sara 32

Sara is elected, with 17 surplus votes. Congrats!

There are 29 second preferences (Ben 11, Gabriel 18) to distribute these
17 surplus votes too (1 goes away due to rounding):

Ben 6 floor(11/2917)
Gabriel 10 floor(18/2917)

Total after distribution:

Ben 13
Gabriel 12
Joe 1
Sara 15

Joe gets eliminated with the fewest votes. The vote that had Joe as
first pref transfers to Gabriel as that person's second pref was for
Sara, which already one. After transfering, the result is:

Ben 13
Gabriel 13
Sara 15

Now the next step is to eliminate the person with the lowest amount of
votes, but... as you can see it's a tie :-(

STV allows for different ways of solving a tie, but as we didn't setup
that rule before voting, we can't now pick one, so we have to go to
run-off vote between Ben and Gabriel as second person to be RM with
Sara.

The new vote is open at https://wiki.php.net/todo/php80#round_two and
will run until May 5th, 18:00 UTC+1 — If this results in a tie again,
then Sara can pick her running mate :-)

cheers,
Derick

Hi,

We have four candidates:
Ben Ramsey, Gabriel Caruso, Joe Ferguson, and Sara Golemon

I've put a ranked voting poll online at
https://wiki.php.net/todo/php80#release_managers

Please fill in your first to fourth preferences, making sure you do not
pick a candidate more than once. You don't have to fill in all 4
preferences, but please don't leave gaps.

cheers,
Derick

--
PHP 7.4 Release Manager
Host of PHP Internals News: https://phpinternals.news
Like Xdebug? Consider supporting me: https://xdebug.org/support
https://derickrethans.nl | https://xdebug.org | https://dram.io
twitter: @derickr and @xdebug