Related:

• "Automatically delete the branch right after merging a PR, if possible" should be optional #3636
• pr-branch-auto-delete should be disabled by default #2267
• Some way to filter "destructive" features #3964

Possible solutions:

• add "☑️ Attempt to delete branch after merge" checkbox in merge box similar to sync-pr-commit-title
• Add a small timeout after merge: "Refined GitHub will delete the branch in 5…4…3…2…1… seconds"
• add a temporary timeline event informing the user AFTER it was merged, to inform the user about the feature so that they can disable it if they don't like it