diff options
| author |  Jay Soffian <jaysoffian@gmail.com> | 2009-02-25 03:32:25 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2009-02-27 15:19:09 -0800 |
| commit | bc14fac825d9728c311aaa9d0aecf4960d4a3103 (patch) | |
| tree | ce2262b80efa48bfca8bc4fa48602fe169eda91d /Documentation/gitcli.txt | |
| parent | builtin-remote: teach show to display remote HEAD (diff) | |
| download | tgif-bc14fac825d9728c311aaa9d0aecf4960d4a3103.tar.xz | |
builtin-remote: add set-head subcommand
Provide a porcelain command for setting and deleting
$GIT_DIR/remotes/<remote>/HEAD.
While we're at it, document what $GIT_DIR/remotes/<remote>/HEAD is all
about.
Signed-off-by: Jay Soffian <jaysoffian@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitcli.txt')
0 files changed, 0 insertions, 0 deletions