Prune all dead branches #1
Closed
MicheleC
wants to merge 1 commits from feat/prune-all-dead-branches
into master
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'feat/prune-all-dead-branches'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Prune from all remotes, not only from origin.
Slavek, since you maintain the scripts, let me know if it is ok to merge.
It seems that I have found a better solution. We can specify parameters for fetch directly in git pull. Thanks to this, we can ensure fetch for all remote repositories as well as prunes:
The advantage is that 'git remote prune whatewer' will not be performed separately as it causes a second communication with remote repositories.
Ok, if it save a git operation it is better to go with your solution than mine.
I will close this PR without merging and you can push your change instead.
branch deleted from web interface, since it can't be deleted from PR page