diff --git a/release b/release index 416723391e..48ea33aedf 100755 --- a/release +++ b/release @@ -37,5 +37,5 @@ git tag -a "$NEW" -m "`cat /tmp/tagmessage`" ################ push everything -git push +git push origin HEAD git push --tags