I saw some PRs auto closed recently and I was wondering if we could adjust the label that is added to the autoclosed PRs, currently it is 'wontfix' but this label sends a fake (and negative) message. Can we parametrize the bot to put something closer to the intention like 'autoclosed'?
Who can take care of this? Any other opinion/suggestion after these first days of the stale bot? I have the impression that the time between the staleness warning and the close is relatively short, of course PRs can be reopened but we (committers) should pay attention that a PR that is marked as stale is not stale because of unfinished reviews.
