Delete merged branch

2025-12-23 23:28:14 -05:00 · 2021-10-14 19:44:36 +02:00
parent b0b4e80da4
commit f81fb0c673
1 changed files with 1 additions and 0 deletions
--- a/bors.toml
+++ b/bors.toml
@@ -1 +1,2 @@
 status = [ 'build' ]
+delete_merged_branches = true