AW: Migrate from Bugzilla to GitHub Issues
+1 from me - use Apaches own infrastructure. GitHub as mirror is ok. And if I remember right, we also had PRs without any bugzilla issue ... Jan -Ursprüngliche Nachricht- Von: Jaikiran Pai Gesendet: Donnerstag, 18. August 2022 15:13 An: Ant Developers List ; Stefan Bodewig Betreff: 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 don't think reporting issues in Bugzilla has been a friction in the Ant project. Keeping Ant's infrastructure within Apache I believe is the right thing - that would mean hosting the issue tracker within the Apache infrastructure. That doesn't necessarily mean using bugzilla. Apache hosts JIRA instance too at https://issues.apache.org/. Moving to Apache's JIRA instance _might_ be an option but I don't know what kind of efforts would be involved and if those are worth it. -Jaikiran On 18/08/22 5:02 pm, Stefan Bodewig wrote: > 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 drag the discussion further as we are not going to convince > each other. > > 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. > > Fortunately I'm not the only voice around here :-) > > Cheers > > Stefan > > - > To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional > commands, e-mail: dev-h...@ant.apache.org > - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
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 don't think reporting issues in Bugzilla has been a friction in the Ant project. Keeping Ant's infrastructure within Apache I believe is the right thing - that would mean hosting the issue tracker within the Apache infrastructure. That doesn't necessarily mean using bugzilla. Apache hosts JIRA instance too at https://issues.apache.org/. Moving to Apache's JIRA instance _might_ be an option but I don't know what kind of efforts would be involved and if those are worth it. -Jaikiran On 18/08/22 5:02 pm, Stefan Bodewig wrote: 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 drag the discussion further as we are not going to convince each other. 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. Fortunately I'm not the only voice around here :-) Cheers Stefan - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
Re: Migrate from Bugzilla to GitHub Issues
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 it can lower the barrier for newer contributors to submit patches through pull request, but that's probably as far as it should go (if I had any say in anything, which I don't). - Bram - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
Re: Migrate from Bugzilla to GitHub Issues
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 drag the discussion further as we are not going to convince each other. 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. Fortunately I'm not the only voice around here :-) Cheers Stefan - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
Re: Migrate from Bugzilla to GitHub Issues
> 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 interact with github at all I'm afraid it is vice versa for many Ant users. They browse code (including Ant code) in GitHub, and they would likely use GitHub PRs (Ant PRs and PRs for the other projects). It is inconvenient to require Bugzilla login for the sole purpose of filing an issue. It is inconvenient that search over bugs is disconnected from search over code. If bugs are migrated to GitHub, then a single GitHub search would work for everything: code, issues, PRs >Marking something as a duplicate of a different issue in >Bugzilla wouldn't work I suggest migrating all the bugs, so for every bug there will be a corresponding issue, and you will be able to reference any of the previous issues. GitHub does support "duplicate issues and PRs" references: https://docs.github.com/en/issues/tracking-your-work-with-issues/marking-issues-or-pull-requests-as-a-duplicate >Bugzilla history that is referenced in commit messages It is not much different from migrating from SVN to Git. The old code was in SVN, and now it is in Git. Same for issues: Bugzilla would still be available (read-only). Every bug will point to the corresponding GitHub issue, so old links would still work. The users would open either issue directly, or they would find a link to Bugzilla, and open GitHub from there. I do not think it is worth rewriting all the documentation and updating Bugzilla links to GitHub. However, I think it would help contributors if the issues are co-located with code at GitHub. Vladimir
Re: Migrate from Bugzilla to GitHub Issues
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
Migrate from Bugzilla to GitHub Issues
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 example, GitHub automatically adds a cross-reference for cases like https://github.com/gradle/gradle/pull/14150, so you can see which projects reference the same issue, and sometimes you could peek into the workarounds. I'm working on migrating Apache JMeter (Bugzilla -> GitHub Issues), see https://lists.apache.org/thread/xmccss17s6sm8wzcm56d7sr6py663s7w , and I have a migration script https://github.com/vlsi/bugzilla2github It preserves bugs, comments, attachments, and links between bugs. Here's a recent dry-run for JMeter: https://github.com/vlsi/tmp-jmeter-issues WDYT? Vladimir