chore(release.sh): push both the release commit and tag

wesleycho · Dec 31, 2013 · d158dd1 · d158dd1
1 parent 1147f21
commit d158dd1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh
@@ -32,8 +32,10 @@ cd `dirname $0`/../..
 ./scripts/jenkins/bump-increment.sh $BUMP_TYPE
 
 echo "-- push to Github"
-# push to github
-git push --all
+# push the commits to github
+git push origin master
+# push the release tag
+git push origin v`cat build/version.txt`
 
 # Update code.angularjs.org
 ./scripts/code.angularjs.org/publish.sh