diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2010-08-15 08:43:20 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-08-21 23:17:35 -0700 |
commit | a4941a81c8a67abad2000b044ecad71ceff9d695 (patch) | |
tree | 5d189c56ba326886d31f57ff825ab4ba7f583cef /Documentation/howto/setup-git-server-over-http.txt | |
parent | push: mention "git pull" in error message for non-fast forwards (diff) | |
download | tgif-a4941a81c8a67abad2000b044ecad71ceff9d695.tar.xz |
reset: suggest what to do upon "git reset --mixed <paths>"
When you call "git reset --mixed <paths>" git will warn that using mixed
with paths is deprecated:
warning: --mixed option is deprecated with paths.
That doesn't tell the user what he should use instead. Expand on the
warning and tell the user to just omit --mixed:
warning: --mixed with paths is deprecated; use 'git reset -- <paths>' instead
The exact wording of the warning was suggested by Jonathan Nieder.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/howto/setup-git-server-over-http.txt')
0 files changed, 0 insertions, 0 deletions