diff options
| author |   Aric Gardner <agardner@linuxfoundation.org> | 2018-05-26 14:53:07 -0400 |
|---|---|---|
| committer | Aric Gardner <agardner@linuxfoundation.org> | 2018-05-26 14:54:07 -0400 |
| commit | dc4b9d1ad316e9055ccb3767c4572ad22cbe43a5 (patch) | |
| tree | b518795c05d54e52897780149cf59b8e9c8e1763 /jjb/releng/releng-release-tagging.sh | |
| parent | ec97db7dfabb5f349ab5b2631f3e20ec4a016a69 (diff) | |
Remove noop for tag creation.
This script is tested, and should now be allowed to create tags.
Change-Id: Ia87341c9cb6397700442a11c38d502fed8dd4743
Signed-off-by: Aric Gardner <agardner@linuxfoundation.org>
Diffstat (limited to 'jjb/releng/releng-release-tagging.sh')
| -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 |