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.