diff options
author | 2018-05-26 19:10:33 +0000 | |
---|---|---|
committer | 2018-05-26 19:10:33 +0000 | |
commit | 62707d59d3eb0e5bd362068bf4918f00673bd027 (patch) | |
tree | 4a68f341ab8921888e56e60a0c3586ed2da9032b /jjb | |
parent | dc4b9d1ad316e9055ccb3767c4572ad22cbe43a5 (diff) |
Revert "Remove noop for tag creation."
This reverts commit dc4b9d1ad316e9055ccb3767c4572ad22cbe43a5.
Change-Id: I3bec4ef84dcb7e56d80b4df78b487f7caa931f3e
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 d2ba8cb95..10c0cc8c9 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" - git push origin "$tag" + echo "[noop] git push origin $tag" else # For non-merge jobs just output the ref info. git show -s --format="%h %s %d" $ref |