diff options
author | Trevor Bramwell <tbramwell@linuxfoundation.org> | 2018-06-26 12:45:16 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2018-06-26 12:45:16 +0000 |
commit | ea6bc61f16d7fcbf1b6d33269d690fa349722d61 (patch) | |
tree | f1ed815cb9f0e63c365bc3e9e1734948723a2fcd /jjb | |
parent | a9ac51e26dcd61b905411d4abcb2c38e6d855d31 (diff) | |
parent | 989134f3cc15c0bc060686475bf3a7fd14453414 (diff) |
Merge "Fix release tagging noop"
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 |