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 /pack-refs.h | |
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 'pack-refs.h')
0 files changed, 0 insertions, 0 deletions