Close stale PRs #75963
Close stale PRs #75963
Conversation
dotnet-issue-labeler
bot
added
Area-Infrastructure
untriaged
| - not: | ||
| isDraft | ||
| - noActivitySince: | ||
| days: 14 |
There was a problem hiding this comment.
I'd propose a bit longer than 14 days, since that's probably going to auto-close all our PRs that get opened around Christmas/New Years. 😄
There was a problem hiding this comment.
Is it possible to give them a nudge after 2 weeks, then a bit more time to respond before closing?
| - noActivitySince: | ||
| days: 14 | ||
| actions: | ||
| - closePullRequest |
There was a problem hiding this comment.
Can we have this switch things back to draft instead? Or label the PRs closed this way? My concern being if somebody is out for a bit, it'll be harder for them to figure out which things got auto-closed when they come back.
There was a problem hiding this comment.
Is it possible to exempt the Roslyn team?
There was a problem hiding this comment.
No. Let's just move to closed after a month. If you're out a month, you should figure out what to do with your open PRs anyways.
There was a problem hiding this comment.
I would not exempt the team. We're both a large source of this already, and we should be able to complete things within a month, or take them out if we're making no progress on them.
|
Total execution time: 0.01 seconds |
&color=red)
No description provided.