2 Commits

Author SHA1 Message Date
roschaefer
a6c76a52ef Issues marked as bounty never become stale
The justification for this is that we keep an eye on those issues for
which we offer a bounty.
2020-01-12 17:48:48 +01:00
roschaefer
8de2f1cc8d build: configure stale bot
@tirokk I increased the days of inactivity to 60 and 30. You can disable
stale issues permanently by using a label "pinned".
2019-11-18 18:01:01 +01:00