Merge #660

660: Tell bors to delete merged branches r=Dirbaio a=GrantM11235 Co-authored-by: Grant Miller <GrantM11235@gmail.com>
2022-03-14 18:04:58 +00:00
parent db8050b388 d137d1f707
commit 3ae0923d45
1 changed files with 1 additions and 0 deletions
--- a/.github/bors.toml
+++ b/.github/bors.toml
@ -1,3 +1,4 @@
 status = [
    "all",
 ]
+delete_merged_branches = true