+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 <jaiki...@apache.org> Gesendet: Donnerstag, 18. August 2022 15:13 An: Ant Developers List <dev@ant.apache.org>; Stefan Bodewig <bode...@apache.org> 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