From 48a93f17ad2696ae77037ee0b7bd0264bb40d889 Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Wed, 20 Feb 2019 11:22:44 +0000
Subject: [PATCH] Remove GitLab CI configuration, previously used to enable
 mirroring

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 7388b209..00000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,24 +0,0 @@
-stages:
-  - mirror
-
-mirror:
-  stage: mirror
-  image: ianayoung/rsync
-  tags:
-    - linux
-  cache: {}
-  script:
-    # run ssh-agent
-    - eval $(ssh-agent -s)
-    # add appropriate private key to the agent store
-    - ssh-add <(echo "$MIRROR_KEY")
-    # set known hosts list
-    # WARNING: use only in docker container, if you use it with shell you will
-    # overwrite your user's ssh config
-    - mkdir -p ~/.ssh
-    - cp deploy/known_hosts ~/.ssh/known_hosts
-    # Do a bare clone of the repository
-    - git clone --bare $CI_REPOSITORY_URL
-    # Mirror push it to the destination
-    - cd $CI_PROJECT_NAME.git
-    - git push --mirror $MIRROR_DEST