[riot-notifications] [RIOT-OS/RIOT] stale: only apply to PRs (#12192)
notifications at github.com
Wed Sep 18 15:06:19 CEST 2019
I think we're close to a resolution, so let's stay here. I like the heuristic for a known issue, and added it to the Managing a Release page. Thanks!
I actually started to look at the staled issues to see if I could make a reasonable judgement. The first interesting one I came across was #7116, and what do you know, it was a Known Issue for the 2019.07 release. So, I am OK with reviewing this list of staled issues.
I agree that `Process: release: known issue` label is a good way to flag issues we want to remember, and it will reduce effort at release time. So here are the to-dos:
- I am happy to create this label and tag all of the known issues with it, including those that got staled.
- If I am confident that another staled issue is a known issue, I will tag it. If I am not sure, I will summarize my thinking to a wiki page under the release, and put a message on the Maintainers list about the page -- asking for people knowlegeable in the affected area to either directly label the issue, or add a comment to the issue for discussion.
- @miri64, will you update the Stale bot to not Stale issues with the label `Process: release: known issue` label?
- I will update the maintainer guidelines with the use of the label, and post a message on the Maintainers list. If there is heavy resistance, then worst case we delete the label. :-)
If this all sounds good, then I think we can close this issue.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications