diff options
| author |  Pierre Habouzit <madcoder@debian.org> | 2009-04-16 22:00:44 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2009-04-17 21:26:11 -0700 |
| commit | aed97c677cdfd1b9bbc9b33b5418ad4a29109082 (patch) | |
| tree | a79f1ffa4fd4b5521888b8e6e83a68137267beee /Documentation | |
| parent | get_local_heads(): do not return random pointer if there is no head (diff) | |
| download | tgif-aed97c677cdfd1b9bbc9b33b5418ad4a29109082.tar.xz | |
hook/update: example of how to prevent branch creation
Since git doesn't provide a receive.denyBranchCreation or similar, here is
an example of how to be sure users cannot create branches remotely by
pushing a new reference.
This setup has been proven useful to prevent creation of spurious branches
because of users having their remote.origin.push set to HEAD, when they
use `git push` while being on a local topic branch of theirs instead of
the proper one.
Signed-off-by: Pierre Habouzit <madcoder@debian.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions