From 3037cb35344ab810b684921cbc5d05351aec2920 Mon Sep 17 00:00:00 2001
From: Michael Watzko <michael@watzko.de>
Date: Sat, 24 Jul 2021 17:58:20 +0200
Subject: [PATCH] Delete gitlab script for repo mirroring

---
 .gitlab-ci.yml | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 9db64c5..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-# version 1.1.0
-mirror:
-    script:
-        - git config --global push.default simple
-        - git config --global push.followTags true
-        - git checkout -f ${CI_COMMIT_REF_NAME}
-        - git pull origin ${CI_COMMIT_REF_NAME}
-        - git push -q https://${GITHUB_USERNAME}:${GITHUB_TOKEN}@github.com/${GITHUB_REPO}.git --all
-
-