On 11/2/23 20:58, Rainer Müller wrote:
Did the situation change since our assessment back then? As far as I am
aware, there is still not a way to categorize GitHub Issues except with
labels. How would we manage the ~4000 open tickets for ports with GitHub
Issues?
I think that much of what's
On 11/2/23 10:28, Daniel J. Luke wrote:
On Nov 1, 2023, at 9:32 PM, Perry E. Metzger wrote:
As an aside, as it stands, the rules situation with closed maintainer / open maintainer is kind of
unpleasant already. For example, I'd like to be able to indicate that I'm happy with anyone making
On 02/11/2023 21.19, Herby G wrote:
> I actually do think moving tickets and issues from Trac to GitHub Issues
> is a good idea, and would increase engagement for the project.
We evaluated this option thoroughly back in 2016 when we moved the code
repositories to GitHub. As far as I remember it
I agree, I would just urge caution and a full examination of all the
migration tools available; there are some projects that have done more
successful migrations than others. For example, there was this one
that made "mannequin" accounts of people so that the original
commenters were preserved,
I actually do think moving tickets and issues from Trac to GitHub Issues is
a good idea, and would increase engagement for the project.
On Thu, Nov 2, 2023, 10:19 Perry E. Metzger wrote:
>
> On 11/1/23 21:54, Joshua Root wrote:
> > On 2/11/2023 12:32, Perry E. Metzger wrote:
> >> As an aside,
On Nov 1, 2023, at 9:32 PM, Perry E. Metzger wrote:
> As an aside, as it stands, the rules situation with closed maintainer / open
> maintainer is kind of unpleasant already. For example, I'd like to be able to
> indicate that I'm happy with anyone making reasonable changes to my ports on
>
On 11/1/23 21:54, Joshua Root wrote:
On 2/11/2023 12:32, Perry E. Metzger wrote:
As an aside, as it stands, the rules situation with closed maintainer
/ open maintainer is kind of unpleasant already. For example, I'd
like to be able to indicate that I'm happy with anyone making
reasonable