github: Configure stale to be run manually
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Fri, 18 Feb 2022 10:31:57 +0000 (11:31 +0100)
committerGitHub <noreply@github.com>
Fri, 18 Feb 2022 10:31:57 +0000 (11:31 +0100)
commit3136ff67d81bf43b738d1e84394d810de8a8d229
tree167f1e2f99afdf2aaf102013c32559f2a0369fd5
parent929808190fb0649dcfa6def39cd1afe1d380087c
github: Configure stale to be run manually

Updates #9522
.github/workflows/stale.yml