diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2007-05-09 12:33:20 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2007-05-10 15:24:44 -0700 |
commit | 68db31cc289c686c4b4454dfbb121aff59a6c602 (patch) | |
tree | e2a02bc97e8afad4327f9ece6bc81ca497f26602 /Documentation/git-update-ref.txt | |
parent | 843142ada000a992fa87bd2dc7796501332a52d9 (diff) | |
download | git-68db31cc289c686c4b4454dfbb121aff59a6c602.tar.gz git-68db31cc289c686c4b4454dfbb121aff59a6c602.tar.xz |
git-update-ref: add --no-deref option for overwriting/detaching ref
git-checkout is also adapted to make use of this new option
instead of the handcrafted command sequence.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-update-ref.txt')
-rw-r--r-- | Documentation/git-update-ref.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/git-update-ref.txt b/Documentation/git-update-ref.txt index 9424feab3..f22261659 100644 --- a/Documentation/git-update-ref.txt +++ b/Documentation/git-update-ref.txt @@ -7,7 +7,7 @@ git-update-ref - Update the object name stored in a ref safely SYNOPSIS -------- -'git-update-ref' [-m <reason>] (-d <ref> <oldvalue> | <ref> <newvalue> [<oldvalue>]) +'git-update-ref' [-m <reason>] (-d <ref> <oldvalue> | [--no-deref] <ref> <newvalue> [<oldvalue>]) DESCRIPTION ----------- @@ -36,6 +36,9 @@ them and update them as a regular file (i.e. it will allow the filesystem to follow them, but will overwrite such a symlink to somewhere else with a regular filename). +If --no-deref is given, <ref> itself is overwritten, rather than +the result of following the symbolic pointers. + In general, using git-update-ref HEAD "$head" |