3 commits

Author	SHA1	Message	Date
Brian Gianforcaro	b8e0cec20e	Meta: Instruct stale-bot to ignore pr-is-blocked PRs	2022-10-15 12:05:57 +02:00
Brian Gianforcaro	51fe25fdbb	Meta: Stop limiting stale-bot actions per hour. ... Initially this was configured to 2 an hour so that we could easily disable stale-bot if something went haywire. Now that it's successfully proved it's doing what it's supposed to, let it run the default number of actions per hour.	2021-04-19 23:32:48 +02:00
Brian Gianforcaro	247f8f8dbb	Meta: Configure probot/stale to close stale pull requests automatically. ... This change adds the required configuration to setup the https://github.com/probot/stale github bot to close stale pull requests. We currently have a large amount of PRs just sitting around with no activity, clogging up the PR queue. This will hopefully make that situation better.	2021-04-19 21:37:53 +02:00