diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-09-11 10:05:17 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-09-11 12:32:01 -0700 |
commit | 26776c9737a6b5b0e7aab142aef6ba856d8b46ca (patch) | |
tree | 0dcaed754439b23774bb63fa500edc77eaceb0de /tree.c | |
parent | Merge branch 'nd/fetch-pack-shallow-fix' into maint (diff) | |
download | tgif-26776c9737a6b5b0e7aab142aef6ba856d8b46ca.tar.xz |
checkout: update synopsys and documentation on detaching HEAD
In the synopsis, the second form to detach HEAD at the named commit
labelled the argument as '<commit>'. While this is technically more
correct, because the feature to detach is not limited to the tip of
a named branch, it was found confusing and did not express the fact
that you have to give `--detach` if you are naming the commit you
want to detach HEAD at with a branch name.
Separate this case into two syntactical forms, mimicking the way how
the DESCRIPTION section shows this usage. Also update the text that
explains the syntax to name the commit to detach HEAD at to clarify.
Suggested-by: Benjamin Bergman <ben@benbergman.ca>
Helped-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'tree.c')
0 files changed, 0 insertions, 0 deletions