From caebfc84925154f8beaba475d6fe974cf0cd376c Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Mon, 20 Nov 2017 14:30:17 +0100
Subject: [PATCH] setup automatic mirroring to GitHub

---
 .gitlab-ci.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 24a5df806..77889b546 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -139,7 +139,7 @@ test:valgrind:
   tags:
     - docker
 
-# Stage: deliver
+# Stage: deploy
 ##############################################################################
 
 deploy:web:
@@ -172,11 +172,15 @@ deploy:packages:
   only:
     - tags
 
+deploy:git-mirror:
+  stage: deploy
+  script:
+    - git push --force --mirror --prune https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com:VILLASframework/VILLASnode.git
 
 # Stage: docker
 ##############################################################################
 
-deploy:docker:
+docker:
   stage: docker
   variables:
     DOCKER_IMAGE: villas/node
@@ -194,7 +198,7 @@ deploy:docker:
   only:
     - tags
 
-deploy:docker-dev:
+docker:dev:
   stage: docker
   script:
     - make deploy-docker-dev