New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add GitHub Actions workflow to delete branch after PR merge #22917

Closed

Angelk90 wants to merge 1 commit into zed-industries:main from Angelk90:delete-branch-after-pr-merge

Contributor

Angelk90 commented Jan 9, 2025

Closes #22915

Release Notes:

Automatic branch deletion after PR merge.


          Add GitHub Actions workflow to delete branch after PR merge.

71a63ee

cla-bot bot added the cla-signed label

Member

maxdeviant commented Jan 9, 2025

This is already handled by our GitHub settings.

maxdeviant closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels