-
-
Notifications
You must be signed in to change notification settings - Fork 60
Enable auto-delete of merged branches on https://github.com/python/devguide/ #512
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.
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
Comments
@python/organization-owners Please could you enable this? Thank you! |
Does this affect only upstream branches, or delete user branches too? The former doesn't really do anything now that we've enabled branch protection to prevent that, while the later seems a little intrusive (especially for squash-merges, where the original commits are lost) and something that should be up to the user managing their fork, not the upstream repository, since it has no effect on the latter (unless I'm understanding something wrong). For that I greatly prefer the GitHub Refined auto-delete feature instead, which each user can control individually to their own preference. |
Before you enable this I may need to make changes to miss-islington. It has logic for deleting branch. |
It does not do that.
This can be closed then, this feature is no longer necessary. |
The short story
It would be nice if branches were auto-deleted after a PR is merged.
Long version
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches is the relevant documentation. https://github.blog/changelog/2019-07-31-automatically-delete-head-branches-of-pull-requests/ is the relevant changelog entry.
The text was updated successfully, but these errors were encountered: