diff options
| author | Junio C Hamano <gitster@pobox.com> | 2007-11-25 19:10:01 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-11-25 19:10:01 -0800 |
| commit | 1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f (patch) | |
| tree | 7d39ffb6f1aa0676c244cf279ddb940cc71489bf /git-checkout.sh | |
| parent | 84ef033832af9e0be886214c70b2006b08630072 (diff) | |
| parent | dc3e3ea3c838c1ddf7423401b4cf7a7dba528cff (diff) | |
| download | git-1ab58e8d6f728cdde0057f7ee88daab3a1c2d06f.tar.gz | |
Merge branch 'maint'
* maint:
user-manual: recovering from corruption
user-manual: clarify language about "modifying" old commits
user-manual: failed push to public repository
user-manual: define "branch" and "working tree" at start
git-checkout: describe detached head correctly
Diffstat (limited to 'git-checkout.sh')
| -rwxr-xr-x | git-checkout.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-checkout.sh b/git-checkout.sh index aa724ac1a3..f80939da5a 100755 --- a/git-checkout.sh +++ b/git-checkout.sh @@ -175,7 +175,7 @@ detach_warn= describe_detached_head () { test -n "$quiet" || { printf >&2 "$1 " - GIT_PAGER= git log >&2 -1 --pretty=oneline --abbrev-commit "$2" + GIT_PAGER= git log >&2 -1 --pretty=oneline --abbrev-commit "$2" -- } } |