diff options
author | Thomas Rast <trast@student.ethz.ch> | 2010-07-24 18:07:53 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-07-25 23:14:19 -0700 |
commit | 662c83ff8ffa714efab5d7d530bd7d4f82e3ef03 (patch) | |
tree | a29f7fb6bea1c08d3e788202cf17a2494e492dcc | |
parent | Cast execl*() NULL sentinels to (char *) (diff) | |
download | tgif-662c83ff8ffa714efab5d7d530bd7d4f82e3ef03.tar.xz |
Document receive.denyDeleteCurrent
This option was introduced by 747ca24 (receive-pack:
receive.denyDeleteCurrent, 2009-02-08) but never documented.
Signed-off-by: Thomas Rast <trast@student.ethz.ch>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Documentation/config.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index e75434b3ef..f81fb918da 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1558,6 +1558,10 @@ receive.denyDeletes:: If set to true, git-receive-pack will deny a ref update that deletes the ref. Use this to prevent such a ref deletion via a push. +receive.denyDeleteCurrent:: + If set to true, git-receive-pack will deny a ref update that + deletes the currently checked out branch of a non-bare repository. + receive.denyCurrentBranch:: If set to true or "refuse", git-receive-pack will deny a ref update to the currently checked out branch of a non-bare repository. |