push git tags to sourceforge

This commit is contained in:
Matthias Hochsteger 2020-09-07 15:50:48 +02:00
parent 218c4a531b
commit 5c2089ed96

View File

@ -15,8 +15,8 @@ push_github_sourceforge:
- git remote update
- git checkout master
- git pull origin master
- git push sourceforge master
- git push github master
- git push sourceforge master --tags
- git push github master --tags
only:
- master