diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-11-24 00:26:49 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-11-24 03:59:05 -0800 |
| commit | d4f694ba89857a87e259557d0f236c761b4041ef (patch) | |
| tree | 08453ccc3a39a74ad5e74ff4bf1cf13dd88b85c7 /git-fetch.sh | |
| parent | 634b8d05142a4812bf35fe8b14cc62c84494c78f (diff) | |
| download | git-d4f694ba89857a87e259557d0f236c761b4041ef.tar.gz | |
Allow git push to delete remote ref.
This allows you to say
git send-pack $URL :refs/heads/$branch
to delete the named remote branch. The refspec $src:$dst means
replace the destination ref with the object known as $src on the
local side, so this is a natural extension to make an empty $src
mean "No object" to delete the target.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-fetch.sh')
0 files changed, 0 insertions, 0 deletions