diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2018-11-13 20:39:09 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-14 17:17:09 +0900 |
commit | 8247166717fc5a3f26e4db1067891da12644808b (patch) | |
tree | 4e2731adb6ba41e56999d3cfe69b459cfcab114a /git-gui/git-gui.sh | |
parent | Tenth batch for 2.20 (diff) | |
download | tgif-8247166717fc5a3f26e4db1067891da12644808b.tar.xz |
push: change needlessly ambiguous example in error
Change an example push added in b55e677522 ("push: introduce new
push.default mode "simple"", 2012-04-24) to always mean the same thing
whether the current setting happens to be "simple" or not.
This error is only emitted under "simple", but message is explaining
to the user that they can get two sorts of different behaviors by
these two invocations.
Let's use "git push <remote> HEAD" which always means push the current
branch name to that remote, instead of "git push <remote>
<current-branch-name>" which will do that under "simple", but is not
guaranteed to do under "upstream".
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/git-gui.sh')
0 files changed, 0 insertions, 0 deletions