diff options
| author | Yvan Roux <yvan.roux@linaro.org> | 2017-04-20 00:31:33 +0200 |
|---|---|---|
| committer | Yvan Roux <yvan.roux@linaro.org> | 2017-04-20 00:31:33 +0200 |
| commit | 4cc430f16400d5f0ed458240da2bb5055940cb2d (patch) | |
| tree | ba22954823131a0cbcdb9a28290528b2d8b06d4a | |
| parent | 2937a05828eb43f2ef5161c2ec1385fb6c2df066 (diff) | |
tcwg-release-tag.sh: enable push to remote.
Change-Id: I78470910af0c0fe54482072a3ec2213be8a50245
| -rwxr-xr-x | tcwg-release-tag.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tcwg-release-tag.sh b/tcwg-release-tag.sh index 1c5fb03..a8db760 100755 --- a/tcwg-release-tag.sh +++ b/tcwg-release-tag.sh @@ -781,11 +781,11 @@ print_info "${bold}Checking out branch \"${local_branch}\"..." git checkout ${local_branch} 1>/dev/null bump_and_dev "${bump_mode_to}" -echo "git push ${REMOTE} ${release_tag}" -echo "git push ${REMOTE} ${local_branch}:${remote_mode_branch/remotes\/${REMOTE}/refs/heads}" +git push ${REMOTE} "${release_tag}" +git push ${REMOTE} "${local_branch}:${remote_mode_branch/remotes\/${REMOTE}/refs/heads}" if [[ "${SNAPSHOT:+set}" = "set" && "${SPIN:+set}" != "set" ]]; then - echo "git push ${REMOTE} ${local_int_branch}:${remote_int_branch/remotes\/${REMOTE}/refs/heads}" + git push ${REMOTE} "${local_int_branch}:${remote_int_branch/remotes\/${REMOTE}/refs/heads}" fi popd 1>/dev/null |