On 04.07.2022 at 10:16, Remi Collet wrote: > In PHP 8.1: > > This branch is 1 commit ahead, 7 commits behind master. > > > This seems terribly wrong, looks like was merged from master > (NEWS file have 8.2 entries) > > > Can some GIT expert check and fix that ?
Derick is working on fixing the issue. Since he will need to reset to the last good state, and force-push, everybody will have to fix their clones afterwards (reset and pull). Please do not push to any branch until this is done. Thanks, Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
