Push stable to GitHub

This commit is contained in:
Davide De Rosa 2019-04-17 22:28:52 +02:00
parent 717456ceff
commit 05cde1679e
1 changed files with 1 additions and 0 deletions

View File

@ -2,4 +2,5 @@
git push && git push github git push && git push github
git push --tags && git push --tags github git push --tags && git push --tags github
git checkout stable && git merge master git checkout stable && git merge master
git push github
git checkout master git checkout master