gitlab-ci: push to github repository

This commit is contained in:
Matthias Hochsteger 2017-07-18 11:53:52 +02:00
parent f992503499
commit 82c61f04a8

View File

@ -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