🏷️ Discussion Type

Bug

Body

Summary

Currently, GitHub allows source branches to be deleted automatically after a pull request is merged through a repository-level setting. While this works well for repositories that want a consistent policy, it does not provide flexibility for individual pull requests.

I would like to propose adding a "Delete source branch after merge" checkbox directly within the Auto-merge workflow.

Proposed User Experience

When enabling Auto-merge, provide an additional option:

• ✅ Enable auto-merge
• Merge method (Merge / Squash / Rebase)
• ☐ Delete source branch after merge

Why This Would Be Useful

• Allows branch deletion to be configured on a per-PR basis.
• Keeps the option close to where merge behavior is already configured.
• Avoids requiring a repository-wide setting when teams have mixed workflows.
• Reduces manual cleanup for short-lived feature branches.
• Preserves long-lived or shared branches when needed.

Example Use Cases

Feature Branches

After a feature branch is merged, it is typically no longer needed and can be deleted automatically.

Shared or Long-Lived Branches

Some branches may continue to be used after the PR is merged. In these cases, maintainers can simply leave the option unchecked.

Teams Using Auto-Merge

Teams relying on Auto-merge would gain finer control