chore(dev): Auto-delete branch upon PR merge

big-r81 · nickva · commit f1f45aa25704 · 2025-01-09T03:27:53.000-05:00
Branches get auto-deleted upon PR merges to our default branch.
diff --git a/.asf.yaml b/.asf.yaml
@@ -21,6 +21,7 @@ github:
     squash: true
     rebase: true
     merge: true
+  del_branch_on_merge: true
   protected_branches:
     main:
       required_status_checks:
