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/git-diff-tree.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/git-diff-tree.txt')
0 files changed, 0 insertions, 0 deletions