[PATCH infra/githooks] gitlab-mirror: remove unused scripts

Signed-off-by: Thomas Bracht Laumann Jespersen <[email protected]>
---

I don't know exactly when gitlab.g.o was shut down, but it's gone and
I don't think the scripts in this folder are used anymore.

 gitlab-mirror/gitlab-mirror      | 24 ------------------------
 gitlab-mirror/gitlab-ssh-wrapper |  4 ----
 2 files changed, 28 deletions(-)
 delete mode 100755 gitlab-mirror/gitlab-mirror
 delete mode 100755 gitlab-mirror/gitlab-ssh-wrapper

diff --git a/gitlab-mirror/gitlab-mirror b/gitlab-mirror/gitlab-mirror
deleted file mode 100755
index 04bbbd6..0000000
--- a/gitlab-mirror/gitlab-mirror
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/sh
-# based on https://github.com/miracle2k/gitolite-simple-mirror/blob/master/post-receive
-
-# simple gitolite mirroring
-
-# flush STDIN coming from git, because gitolite's own post-receive.mirrorpush
-# script does the same thing
-[ -t 0 ] || cat >/dev/null
-
-if [ -z "${GL_REPO}" ]; then
-	echo "GL_REPO not set" >&2
-	exit 1
-fi
-
-targets=$(git config --get gitlab.mirror.url)
-[ -z "${targets}" ] && exit 0
-
-[ -z "${GIT_SSH_KEY}" ] && export GIT_SSH_KEY=~/gitlab_ssh_key
-export GIT_SSH=$(dirname "$(readlink -f "$0")")/gitlab-ssh-wrapper
-
-for target in ${targets}; do
-	# --force because someone may accidentally push into the mirror
-	git push --mirror --force ${target}
-done
diff --git a/gitlab-mirror/gitlab-ssh-wrapper b/gitlab-mirror/gitlab-ssh-wrapper
deleted file mode 100755
index 5f4c1fc..0000000
--- a/gitlab-mirror/gitlab-ssh-wrapper
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-# Use via GIT_SSH
-
-exec ssh ${GIT_SSH_KEY:+-i} ${GIT_SSH_KEY} "$@"
--
2.54.0