Skip to content

Add action to delete merged PR branches#9

Merged
Zero-1016 merged 1 commit intomainfrom
codex/delete-branch-on-pr-merge
Feb 16, 2026
Merged

Add action to delete merged PR branches#9
Zero-1016 merged 1 commit intomainfrom
codex/delete-branch-on-pr-merge

Conversation

@Zero-1016
Copy link
Owner

Summary

  • add a workflow that runs when a pull request is closed
  • if the PR was merged, delete the source branch automatically
  • exclude default/protected branches from deletion and ignore already-deleted cases

Verification

  • git diff reviewed

@vercel
Copy link

vercel bot commented Feb 16, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
code-dash Ready Ready Preview, Comment Feb 16, 2026 3:54am

@Zero-1016 Zero-1016 merged commit 69ee882 into main Feb 16, 2026
1 of 2 checks passed
@Zero-1016 Zero-1016 deleted the codex/delete-branch-on-pr-merge branch February 16, 2026 03:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant