Add script to push repos on release
This commit is contained in:
parent
2cc6b9cc0a
commit
7633ddb831
|
@ -0,0 +1,5 @@
|
||||||
|
#!/bin/sh
|
||||||
|
git push && git push github
|
||||||
|
git push --tags && git push --tags github
|
||||||
|
git checkout stable && git merge master
|
||||||
|
git checkout master
|
Loading…
Reference in New Issue