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/git-rev-parse.txt | |
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/git-rev-parse.txt')
0 files changed, 0 insertions, 0 deletions