From 813aa480104c0b2cfd522ef5c74a193038f4ae86 Mon Sep 17 00:00:00 2001
From: Daniel Siepmann <coding@daniel-siepmann.de>
Date: Tue, 11 Apr 2017 15:54:18 +0200
Subject: [PATCH] TASK: Push to github project

* Mirror current repository state
---
 .gitlab-ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6e26063..fef7f7e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,8 +19,9 @@ sync:github:
     - mkdir -p ~/.ssh
     - '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
   script:
-    - git push github
-
+    - git clone --mirror ${CI_REPOSITORY_URL} mirror
+    - cd mirror
+    - git push --mirror ${MIRROR_GIT_URL}
 
 lint:coding-guideline:
   image: php:7.0-alpine