On 2022-08-08, Vladimir Sitnikov wrote: > Have you considered migrating from Bugzilla to GitHub Issues?
I don't think we ever talked about that, no. > I think co-locating issues and PRs at GitHub would make it easier to > navigate between issues and PRs. PRs are not the only way of contributing to Ant at all - maybe not even the primary. More often than not issues are raised without any patch or PR. > Moving issues to GitHub would simplify cross-references. between issues and PRs, yes. But not between issues and old issues. Marking something as a duplicate of a different issue in Bugzilla wouldn't work. Personally I really don't believe we want to migrate more than 20 years of Bugzilla history that is referenced in commit messages and the WHATSNEW file and in several other places. But I may be wrong. When working on Ant I barely ever interact with github at all. So at least I wouldn't see any benefit but a whole lot of work being wasted. This is not a veto or spmething like that, just an opinion. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org