Delete gitlab script for repo mirroring

2021-07-24 17:58:20 +02:00 · 2021-07-24 17:58:20 +02:00 · 3037cb3534
commit 3037cb3534
parent 96c6edfd81
1 changed files with 0 additions and 10 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -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
-
-