Stale bot - "pinned" label?

Development
#1

What are people’s thoughts on having some form of “pinned” label for GitHub issues / pull requests so that stale bot never marks them as stale?

I’m bringing this up after seeing @adrian’s comment on #1893 - it sounds like we should keep this open until a solution is found, and continually bumping it every 60 days will just add spam to the issue.

Is it worth setting up some form of label to disable the tale bot? It seems like there’s a configuration option exemptLabels which could be used if we do set one up.

#2

Hey there! That sounds perfectly reasonable to me. For that particular ticket (and maybe others?) another reasonable option might be to just turn it into a discussion-tagged ticket, because it’s not clear whether there’s any particular action to be taken but folks are welcome to keep digging and adding their thoughts there if they want.

#3

I had been thinking about this too, and I actually think it may be good to close, but continue to allow discussion. This way it keeps the open issues to only actionable things. Then, once it becomes actionable, it could be re-opened.

In this vein, it would be discouraged to un-stale the issue by commenting just to bump, rather than providing progress towards making it actionable.