From 9920d404374275ef80b21421ae3a1ab8211fd88d Mon Sep 17 00:00:00 2001
From: Dmitry Ilvokhin <d@ilvokhin.com>
Date: Sun, 3 Mar 2024 14:11:45 +0000
Subject: Rename git role to gitserver

---
 roles/git/files/init-git-repo.sh | 58 ----------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100755 roles/git/files/init-git-repo.sh

(limited to 'roles/git/files/init-git-repo.sh')

diff --git a/roles/git/files/init-git-repo.sh b/roles/git/files/init-git-repo.sh
deleted file mode 100755
index 881ee55..0000000
--- a/roles/git/files/init-git-repo.sh
+++ /dev/null
@@ -1,58 +0,0 @@
-#! /usr/bin/env bash
-
-# Usage examples
-#
-# Init private repository and mirror it to github.
-# ./init-git-repo.sh --private --mirror repo.git
-
-private=0
-mirror=0
-repo=""
-
-while [[ $# -gt 0 ]]; do
-    case $1 in
-        -p|--private)
-            private=1
-            shift
-            ;;
-        -m|--mirror)
-            mirror=1
-            shift
-            ;;
-    -*|--*)
-      echo "Unknown option $1" 1>&2
-      exit 1
-      ;;
-    *)
-      repo=$1
-      shift
-      ;;
-  esac
-done
-
-if [ -z $repo ]; then
-    echo "Provide repository name!" 1>&2
-    exit 1
-fi
-
-mkdir $repo
-cd $repo
-git init --bare
-
-if [ $private -eq 0 ]; then
-    touch git-daemon-export-ok
-fi
-
-if [ $mirror -eq 1 ]; then
-    git remote add --mirror github git@github.com:ilvokhin/$repo
-
-    cat > hooks/post-receive <<EOF
-#! /bin/sh
-
-git push --quiet github &
-EOF
-
-    chmod +x hooks/post-receive
-fi
-
-cd ..
-- 
cgit v1.2.3-70-g09d2