Re: PR labeling

2024-09-19 Thread Jan Høydahl
+1 I’ve tried suggesting this several times, also for abandoned JIRA issues, but always big pushback. If we get a stale warning and then, if no one cares, another notification when auto-closing, no one can say they were not warned. And old closed PRs can always be re-opened, but at that point t

Re: PR labeling

2024-09-19 Thread David Smiley
Upon seeing a "stale" warning, how do I signal to the bot that this PR shouldn't be closed soon? Or perhaps upon re-opening, the bot ought to back off on this one forevermore? On Thu, Sep 19, 2024 at 3:06 PM Jan Høydahl wrote: > +1 I’ve tried suggesting this several times, also for abandoned JI

Re: PR labeling

2024-09-19 Thread David Smiley
I don't see in the dev list here a discussion on auto-closing old PRs but FWIW I'm in favor of that provided we could somehow choose to keep a PR open that we're still passionate about, that we don't want to be forgotten. This was discussed in the meetup yesterday. On Fri, Jan 26, 2024 at 10:56 A