You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Automatically delete head branches of pull requests
Repositories can now be set to delete the head branch of a pull request once it has merged into the base branch.
Looks like the simplest use case is now covered by github. I thought to let you know!
In any case thanks for this great bot. A pleasure to use so far!
Blog post
Automatically delete head branches of pull requests
Repositories can now be set to delete the head branch of a pull request once it has merged into the base branch.
Learn more about automatic deletion of branches on GitHub
The text was updated successfully, but these errors were encountered: