From 99d04c8e69c51d900c8cfb044f04c36c7527b357 Mon Sep 17 00:00:00 2001
From: Gabe Kangas <gabek@real-ity.com>
Date: Mon, 21 Jun 2021 09:46:32 -0700
Subject: [PATCH] Customize stalebot to close stale PRs

---
 .github/stale.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/stale.yml b/.github/stale.yml
index bb4b1e570..525166199 100644
--- a/.github/stale.yml
+++ b/.github/stale.yml
@@ -15,3 +15,13 @@ markComment: >
 # Comment to post when closing a stale issue. Set to `false` to disable
 closeComment: false
 exemptMilestones: true
+
+# Since old PRs are less useful than old issues ping them sooner.
+pulls:
+  daysUntilStale: 30
+  markComment: >
+    This pull request has not had any activity in 30 days. Since things move fast it's best 
+    to get PRs merged in, or to allow somebody else to work on it so the change can get in.
+    This PR will be closed if no further activity occurs. Thank you for your contributions!
+  exemptLabels:
+      - bot