diff options
| -rw-r--r-- | jjb/releng/releng-release-tagging.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/releng/releng-release-tagging.sh b/jjb/releng/releng-release-tagging.sh index 10c0cc8c9..d2ba8cb95 100644 --- a/jjb/releng/releng-release-tagging.sh +++ b/jjb/releng/releng-release-tagging.sh @@ -57,7 +57,7 @@ for release_file in $RELEASE_FILES; do echo "--> Creating $tag tag for $repo at $ref" git tag -am "$tag" $tag $ref echo "--> Pushing tag" - echo "[noop] git push origin $tag" + git push origin "$tag" else # For non-merge jobs just output the ref info. git show -s --format="%h %s %d" $ref |