diff options
| author | Malfurious <m@lfurio.us> | 2023-09-15 05:48:40 -0400 |
|---|---|---|
| committer | Malfurious <m@lfurio.us> | 2023-09-15 10:53:24 -0400 |
| commit | 5756572b09a78541d9d0d9fc6b21a6c006a99894 (patch) | |
| tree | bf8f0588eeccf47b30be31bf238359be9a7a5459 | |
| parent | a9c483cad66446d3569f0666c55bed6263f75162 (diff) | |
| download | srcnode-5756572b09a78541d9d0d9fc6b21a6c006a99894.tar.gz srcnode-5756572b09a78541d9d0d9fc6b21a6c006a99894.zip | |
gitolite: Allow users to delete remote HEAD branches
This allows the branch considered the repo default to be deleted via
push. I'm not totally opposed to allowing this, even though it's not
entirely necessary. However, the ability to do this is now required by
the docker image entrypoint script.
Signed-off-by: Malfurious <m@lfurio.us>
| -rw-r--r-- | gitolite/dotfiles/.gitconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gitolite/dotfiles/.gitconfig b/gitolite/dotfiles/.gitconfig index a998fec..6e33a9e 100644 --- a/gitolite/dotfiles/.gitconfig +++ b/gitolite/dotfiles/.gitconfig @@ -4,3 +4,5 @@ useConfigOnly = true name = gitolite email = gitolite +[receive] + denyDeleteCurrent = warn |