From 4af3fcbd9c812a9f9d583bd502861ba7ca74c26b Mon Sep 17 00:00:00 2001
From: George Abbott <george@gabbott.dev>
Date: Sat, 11 Nov 2023 15:41:36 +0000
Subject: Add allotment script

---
 web/init-cgit | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'web/init-cgit')

diff --git a/web/init-cgit b/web/init-cgit
index 8e730c1..994b407 100755
--- a/web/init-cgit
+++ b/web/init-cgit
@@ -5,6 +5,7 @@
 # It will add a remote `cgit` pointing to `git@example.com:/srv/git/repo.git.
 # $1 = name of repo - I guess we could get this from the cwd maybe?.
 # $2 = description to override repo/description with.
+# $3 = if necessary, a branch to use if not master.
 
 if [ "$1" = "-h" ] || [ "$1" = "--help" ] ; then 
 	echo "init-cgit NAME DESCRIPTION"
@@ -13,9 +14,9 @@ if [ "$1" = "-h" ] || [ "$1" = "--help" ] ; then
 	exit 0
 fi
 
-
 GIT_USER="git"
 SRV_GIT_PATH="/srv/git"
+REMOTE_NAME="cgit"
 
 if [ -z "$BARE_WEBSITE_URL" ] ; then 
 	echo "BARE_WEBSITE_URL must be set"
@@ -30,5 +31,10 @@ if [ ! -z "$2" ] ; then
 fi
 
 # Now create `cgit` remote in local repo.
-git remote add cgit "$GIT_USER@$BARE_WEBSITE_URL:$SRV_GIT_PATH/$1"
-git push cgit master
+git remote add "$REMOTE_NAME" "$GIT_USER@$BARE_WEBSITE_URL:$SRV_GIT_PATH/$1"
+
+if [ -z "$3" ] ; then 
+	BRANCH=master
+else 
+	BRANCH="$3"
+git push "$REMOTE_NAME" "$BRANCH"
-- 
cgit v1.2.1