Closed Borda closed 1 year ago
Merging #757 (99e35d9) into main (7d8d8ae) will not change coverage. The diff coverage is
n/a
.
In general, I'm good with this bot being added.
maybe we can set even more relaxed delays, but I gues 1 year is long one :)
I'm going to approve and merge
There are also 30 days for PR and 60 days for issues before anything practically happen (meaning being eventually closed)
What does this PR do?
There are tens of idle issues so it would be good to have them resolved or closed as likely the issue was resolved but not reported back... but this is just a suggestion, would like to hear from you what you think :rabbit: