ci - don't push to sourceforge anymore

This commit is contained in:
mhochsteger@cerbsim.com 2022-03-18 11:44:04 +01:00
parent aa206c7bae
commit fed78f2ca0

View File

@ -5,19 +5,17 @@ stages:
- deploy
- cleanup
push_github_sourceforge:
push_github:
stage: build
tags:
- linux
- docker
- bash
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 --track origin/master
- git pull origin master
- git push sourceforge master --tags
- git push github master --tags
only:
- master