On Tue, Nov 2, 2021 at 9:19 AM Nikita Popov <nikita....@gmail.com> wrote:
> 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 > > IMO the more custom infra we get rid of the better. I'll volunteer to update the news2html script we use for creating Changelog files. -Sara
