From 5756572b09a78541d9d0d9fc6b21a6c006a99894 Mon Sep 17 00:00:00 2001
From: Malfurious <m@lfurio.us>
Date: Fri, 15 Sep 2023 05:48:40 -0400
Subject: 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>
---
 gitolite/dotfiles/.gitconfig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gitolite')

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
-- 
cgit v1.2.3