diff options
| author | Gerrit Pape <pape@smarden.org> | 2007-04-16 08:31:35 +0000 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-04-16 01:35:39 -0700 |
| commit | 91776491da19f1b72e1cd192c9ea42bb1aae4415 (patch) | |
| tree | ee954e0319dc6cd529765f99138f7527a2b455b7 /builtin.h | |
| parent | 5946d88a349407f2830b4d186201076b80a7cce4 (diff) | |
| download | git-91776491da19f1b72e1cd192c9ea42bb1aae4415.tar.gz | |
Have sample update hook not refuse deleting a branch through push.
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>
Diffstat (limited to 'builtin.h')
0 files changed, 0 insertions, 0 deletions