| ▲ | ihsoy 3 hours ago | |
Dont most git instances, like github, delete branch after a PR was merged, by default? I am not sure under what usecases, you will end up with a lot of stale branches. And git fetch -pa should fix it locally | ||
| ▲ | nightpool 3 hours ago | parent | next [-] | |
`--prune` will delete your local copies of the origin's branches (e.g. `origin/whatever`). But it won't delete your local branches (e.g. `whatever` itself). So PRs that you've worked on or checked out locally will never get deleted. | ||
| ▲ | embedding-shape 2 hours ago | parent | prev | next [-] | |
> Dont most git instances, like github, delete branch after a PR was merged, by default? By default, I don't think so. And even if the branch is deleted, objects can still be there. I think GitLab has a "Clean stale objects" thing you can trigger, I don't seem to recall ever seeing any "Git Maintenance" UI actions on GitHub so not sure how it works there. | ||
| ▲ | plqbfbv 3 hours ago | parent | prev [-] | |
In Github it needs to be explicitly configured (Settings > General > Delete head branches after merging), Gitlab is the same. A lot of my developer colleagues don't know how git works, so they have no idea that "I merged the PR" != "I deleted the feature branch". I once had to cleanup a couple repositories that had hundreds of branches spanning back 5+ years. Nowadays I enforce it as the default project setting. | ||