diff options
| -rwxr-xr-x | bin/git-pull-safe | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/git-pull-safe b/bin/git-pull-safe index 1750230e..dbe696d2 100755 --- a/bin/git-pull-safe +++ b/bin/git-pull-safe @@ -26,7 +26,7 @@ current_branch="$(git rev-parse --abbrev-ref HEAD)" branches="$(git for-each-ref --format='%(refname:short)' refs/heads/)" # (1) normal git branches -git remote update +git remote update --prune for branch in $branches; do remote="$(branch_remote $branch 2>/dev/null || true)" if [ "$(branch_prefix $branch)" != "dgit" ] && [ "$remote" != "" ]; then |