diff options
Diffstat (limited to 'jjb')
| -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..e1b93518f 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 |