From e67dbf23e4bd76d8e2fa1be4d60067b003d7bc66 Mon Sep 17 00:00:00 2001
From: Daniel Gerhardt <code@dgerhardt.net>
Date: Wed, 11 Jul 2018 12:54:06 +0200
Subject: [PATCH] Remove CI job for repo mirroring
GitLab can handle this w/o scripting by now.
---
.gitlab-ci.yml | 20 --------------------
1 file changed, 20 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f073e97bd..ed1a0cd62 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,5 +1,4 @@
variables:
- MIRROR_REPO: git@github.com:thm-projects/arsnova-backend.git
WAR_FILE: target/arsnova-backend-*.war
stages:
@@ -7,30 +6,11 @@ stages:
- test
- build
- deploy
- - synchronization
cache:
paths:
- .m2/
-sync_mirror:
- stage: synchronization
- when: always
- except:
- - production
- - staging
- tags:
- - git
- allow_failure: true
- script:
- - mkdir ~/.ssh && echo "$GITHUB_HOST_KEY" > ~/.ssh/known_hosts
- - eval $(ssh-agent -s) && ssh-add <(echo "$GITHUB_DEPLOY_KEY")
- - git clone --bare "$CI_REPOSITORY_URL" mirror.git
- - cd mirror.git
- - git update-ref -d refs/tags/production
- - git update-ref -d refs/tags/staging
- - git push --mirror "$MIRROR_REPO"
-
sonar:
stage: analysis
only:
--
GitLab