mirror of
https://github.com/git/git.git
synced 2024-10-01 01:21:24 +02:00
91776491da
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 | ||