gitlab-ci: Push master to Sourceforge after successfull build/test

.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
 ############################################