diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/jenkins/release.sh | 6 | 
1 files changed, 4 insertions, 2 deletions
| diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh index e3d3a708..c0bb49c0 100755 --- 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 | 
