AW: Migrate from Bugzilla to GitHub Issues

2022-08-23 Thread apache
: Re: Migrate from Bugzilla to GitHub Issues I agree with Stefan. GitHub has its own set of pleasant features but I don't think moving Ant's issue tracker to GitHub is necessary. I haven't been around in the Ant community since the beginning but for the past few years that I've been around, I

Re: Migrate from Bugzilla to GitHub Issues

2022-08-18 Thread Jaikiran Pai
I agree with Stefan. GitHub has its own set of pleasant features but I don't think moving Ant's issue tracker to GitHub is necessary. I haven't been around in the Ant community since the beginning but for the past few years that I've been around, I don't think reporting issues in Bugzilla has

Re: Migrate from Bugzilla to GitHub Issues

2022-08-18 Thread Bram Van Dam
On 18/08/2022 13.32, Stefan Bodewig wrote: Personally I'd prefer to have less github in ASF projects rather than more, but that may just be me. This has more to do with the ASF being in control of its own fate than with technical reasons. Couldn't agree more. Github mirrors are a good idea if

Re: Migrate from Bugzilla to GitHub Issues

2022-08-18 Thread Stefan Bodewig
Hi Vladimir I guess we have to agree that we disagree - and this is fine. Our perception of how development of Ant happens are quite different. The issue you are trying to solve is a non-issue for me. And the reasons I do not want to move to github issues are likely irrelevant to you. No need to

Re: Migrate from Bugzilla to GitHub Issues

2022-08-17 Thread Vladimir Sitnikov
> I really don't believe we want to migrate more than 20 years For reference, the first bug in JMeter was filed on 2003, and we look forward to migrating all the ~5K bugs to GitHub issues. LLVM moved from Bugzilla to GitHub a year ago (50K bugs since 2003) >When working on Ant I barely ever

Re: Migrate from Bugzilla to GitHub Issues

2022-08-17 Thread Stefan Bodewig
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

Migrate from Bugzilla to GitHub Issues

2022-08-08 Thread Vladimir Sitnikov
Hi, Have you considered migrating from Bugzilla to GitHub Issues? I think co-locating issues and PRs at GitHub would make it easier to navigate between issues and PRs. GitHub allows richer comment formatting (e.g. code highlight). Moving issues to GitHub would simplify cross-references. For