On Apr 17, 2023, at 6:01 PM, Sergey Panteleev <ser...@php.net> wrote: > > Hi all, > > The polls have closed, and Derick’s scripts have tallied the votes [1], > > Our “rookie" PHP 8.3 release managers are: > - Jakub Zelenka > - Eric Mann > > Our "veteran” is the PHP 8.2 release manager Pierrick Charron. > Jakub and Eric you are in a good hands! > > Further steps are described in the New release manager checklist [2], > I believe you can discuss it with Pierrick. > > Calvin, I hope you’ll consider putting in your name for future release > manager elections. > > Thank you to all! > > [1] https://gist.github.com/derickr/9dca6c23663eb44b58d380ae8b914e5a > [2] > https://github.com/php/php-src/blob/b340e10d6e32df0ca586e06d0c9406402b47205f/docs/release-process.md#new-release-manager-checklist > > Cheers, > Sergey
Of course :) Best of luck to everyone with PHP 8.3! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
