diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2019-09-07 10:16:12 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-09-07 10:16:12 -0700 |
| commit | bad37d438933e8d89b0acc3d2c90a3bb8bfff860 (patch) | |
| tree | 4051c7c11fc334a0bd5dc910de640fdf26e38679 /bin/git-pull-safe | |
| parent | fdfd9f1c8a1491bd5cf768d136df9e9d8c14c990 (diff) | |
| download | dotfiles-bad37d438933e8d89b0acc3d2c90a3bb8bfff860.tar.gz | |
`git remote update`->`git fetch --all --tags`
Diffstat (limited to 'bin/git-pull-safe')
| -rwxr-xr-x | bin/git-pull-safe | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/git-pull-safe b/bin/git-pull-safe index dbe696d2..9ae75906 100755 --- a/bin/git-pull-safe +++ b/bin/git-pull-safe @@ -26,7 +26,8 @@ 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 --prune +# note that `git remote update` may not fetch all tags +git fetch --all --tags --prune for branch in $branches; do remote="$(branch_remote $branch 2>/dev/null || true)" if [ "$(branch_prefix $branch)" != "dgit" ] && [ "$remote" != "" ]; then |