Tweak the publish.sh script

2026-09-01 19:31:10 +00:00 · 2012-07-13 21:59:19 +02:00
parent d118b3dc46
commit 5f17a0e9f5
1 changed files with 1 additions and 1 deletions
@@ -22,5 +22,5 @@ cp -r *.md doc COPYING* github
 python setup.py sdist upload
 rm -rf github/*.md github/doc github/COPYING*

-git push
+git push origin master master:develop
 git push --tags