Hi internals, The migration from bugs.php.net to GitHub issues has already been discussed in https://externals.io/message/114300 and has already happened for documentation issues.
I'd like to formally propose to use GitHub for PHP implementation issues as well: https://wiki.php.net/rfc/github_issues Regards, Nikita
