From d137d1f707b96810c02d19c4508d17de101cd57c Mon Sep 17 00:00:00 2001
From: Grant Miller <GrantM11235@gmail.com>
Date: Mon, 14 Mar 2022 12:59:48 -0500
Subject: [PATCH] Tell bors to delete merged branches

---
 .github/bors.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/bors.toml b/.github/bors.toml
index 1135db11..1ecc9d8d 100644
--- a/.github/bors.toml
+++ b/.github/bors.toml
@@ -1,3 +1,4 @@
 status = [
     "all",
 ]
+delete_merged_branches = true