Let bors delete merged branches

phil-opp · web-flow · commit 2b463ed9bef5 · 2019-02-09T14:19:05.000+01:00
diff --git a/bors.toml b/bors.toml
@@ -1,3 +1,4 @@
 status = [
     "rust-osdev.bootloader"
 ]
+delete_merged_branches = true
