From 82c61f04a8f6435fb9175980343c18ea8686e04c Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Tue, 18 Jul 2017 11:53:52 +0200
Subject: [PATCH] gitlab-ci: push to github repository

---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 738d4c7c..e373a9d9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -163,10 +163,12 @@ deploy_sourceforge:
     - docker
   script:
     - git remote add sourceforge ssh://mhochste@git.code.sf.net/p/netgen-mesher/git || true
+    - git remote add github git@github.com:NGSolve/netgen.git || true
     - git remote update
     - git checkout master
     - git pull origin master
     - git push sourceforge master
+    - git push github master
   only:
     - master