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

Reply via email to