From 644b0b8ad8ea9354ff75ae13f793784afcc10db8 Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Thu, 16 Mar 2017 15:11:43 +0100
Subject: [PATCH] gitlab-ci: Push master to Sourceforge after successfull
 build/test

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ae7e0095..a81b1469 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -156,6 +156,20 @@ test_ubuntu_1604:
 # Deploy stage
 ############################################
 
+deploy_sourceforge:
+  stage: deploy
+  tags:
+    - linux
+    - docker
+  script:
+    - git remote add sourceforge ssh://mhochste@git.code.sf.net/p/netgen-mesher/git || true
+    - git remote update
+    - git checkout master
+    - git pull origin master
+    - git push sourceforge master
+  only:
+    - master
+
 ############################################
 # Cleanup stage
 ############################################