From 92c6007bef0185085b790e959b382b59f99768d8 Mon Sep 17 00:00:00 2001
From: Joseph Weston <joseph@weston.cloud>
Date: Fri, 3 Aug 2018 11:12:49 +0200
Subject: [PATCH] ci: remove Github mirroring
Gitlab now has built-in mirroring, so we don't need to have a CI
step for this now.
---
.gitlab-ci.yml | 20 --------------------
1 file changed, 20 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1b246ab9..1d41ea3f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,26 +11,6 @@ variables:
IGNORE_HOSTKEY: "ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"
-mirror repository:
- stage: build
- only:
- - branches@kwant/kwant
- allow_failure: true
- variables:
- REPOS: "git@github.com:kwant-project/kwant.git git@gitlab.com:kwant/kwant.git"
- before_script:
- - HOSTS=$(for REPO in $REPOS; do echo ${REPO%:*} | cut -d'@' -f2; done)
- - mkdir ~/.ssh && chmod 700 ~/.ssh
- - for HOST in $HOSTS; do ssh-keyscan $HOST >> ~/.ssh/known_hosts; done
- - echo "$DEPLOY_KEY" > ~/.ssh/id_rsa && chmod 600 ~/.ssh/id_rsa
- after_script:
- - rm -rf ~/.ssh
- script:
- - ORIGIN_URL=$(git config --get remote.origin.url)
- - cd $(mktemp -d); git clone --bare $ORIGIN_URL .
- - for REPO in $REPOS; do git push --mirror $REPO; done
-
-
build package:
stage: build
script:
--
GitLab