On Tue, Nov 2, 2021 at 3:19 PM Nikita Popov <nikita....@gmail.com> wrote:
> 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 > As a heads up, voting on this RFC starts in two days. Regards, Nikita
