diff options
| author | Thomas Rast <trast@student.ethz.ch> | 2010-07-24 16:07:53 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-07-26 06:14:19 (GMT) |
| commit | 662c83ff8ffa714efab5d7d530bd7d4f82e3ef03 (patch) | |
| tree | a29f7fb6bea1c08d3e788202cf17a2494e492dcc | |
| parent | 5d314759d787885c2cc389efbfb3aea1c47b56d9 (diff) | |
| download | git-662c83ff8ffa714efab5d7d530bd7d4f82e3ef03.zip git-662c83ff8ffa714efab5d7d530bd7d4f82e3ef03.tar.gz git-662c83ff8ffa714efab5d7d530bd7d4f82e3ef03.tar.bz2 | |
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 e75434b..f81fb91 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. |