mirror of
https://github.com/git/git
synced 2024-08-27 11:39:22 +00:00
![]() source ref might be 0000...0000 to delete a branch through git-push, 'git <remote> push :<branch>'. The update hook should not decline this. Signed-off-by: Gerrit Pape <pape@smarden.org> Signed-off-by: Junio C Hamano <junkio@cox.net> |
||
---|---|---|
.. | ||
.gitignore | ||
branches-- | ||
hooks--applypatch-msg | ||
hooks--commit-msg | ||
hooks--post-commit | ||
hooks--post-receive | ||
hooks--post-update | ||
hooks--pre-applypatch | ||
hooks--pre-commit | ||
hooks--pre-rebase | ||
hooks--update | ||
info--exclude | ||
Makefile | ||
this--description |