On 18 Aug 2022, at 06:57, Vladimir Sitnikov <sitnikov.vladi...@gmail.com> wrote:
> Have you considered migrating from Bugzilla to GitHub Issues? > > I think co-locating issues, code, and PRs at GitHub would make it easier to > browse both issues and code. -1. GitHub as a service is hosted by someone else, who are in no way obligated to keep the service running for our benefit. Hosted services come and go regularly, and it is an enormous waste of time and effort for people to perform avoidable migrations each time this happens. We mirror to Github because Github did the work to make that happen. It’s great that they did that, but support could be withdrawn at any time and without warning. Regards, Graham — --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org