diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2022-11-29 10:19:13 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-11-30 14:20:59 -0700 |
| commit | 98ea65db814f26e2e16002f2a00fd308711ec6fb (patch) | |
| tree | 7639313c30edb198560e5b1a066e46df6ab921bc /bin/git-push-all | |
| parent | 2ac03e55e88021d8daa2ec37cc37b79514a5f0f7 (diff) | |
| download | dotfiles-98ea65db814f26e2e16002f2a00fd308711ec6fb.tar.gz | |
git-push-all: update and improve docs
Diffstat (limited to 'bin/git-push-all')
| -rwxr-xr-x | bin/git-push-all | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/bin/git-push-all b/bin/git-push-all index cdab5bf0..7c6cddfb 100755 --- a/bin/git-push-all +++ b/bin/git-push-all @@ -22,14 +22,15 @@ # # 1. If branch.pushRemote is set, push it there # -# 2. Otherwise, if remote.pushDefault is set, push it there +# 2. Otherwise, if remote.pushDefault is set and a branch of the same name +# already exists on that remote, push it there # -# 3. Otherwise, if it is tracking a remote branch, push it there +# 3. Otherwise, if it is tracking a remote branch that exists, push it there # -# 4. Otherwise, exit non-zero. +# 4. Otherwise, emit a warning and skip over that branch. # -# If a branch is tracking a remote that you cannot push to, be sure to -# set at least one of branch.pushRemote and remote.pushDefault. +# If a branch is tracking a remote that you cannot push to, be sure to set at +# least one of branch.pushRemote and remote.pushDefault, to avoid errors. # Enhancement: --confirm to show what will be pushed to where, and ask # for confirmation: 'branch -> remote#target' |