diff options
| author | Yvan Roux <yvan.roux@linaro.org> | 2017-05-16 22:27:57 +0200 |
|---|---|---|
| committer | Yvan Roux <yvan.roux@linaro.org> | 2017-05-16 22:27:57 +0200 |
| commit | 0bbfa495721cf6cbeceb31c189b95bfea7242031 (patch) | |
| tree | 2c3fd97e3e1eb7405fe70ef0a5168b1c0f9b3064 | |
| parent | 749cfb951433259f35b149aab85204496ed74d4b (diff) | |
tcwg-release-tag.sh: Re-enable git push.
Change-Id: I4264cf105ce911bcb49769f6c34843557abacb8d
| -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 b39dfc3..ee91857 100755 --- a/tcwg-release-tag.sh +++ b/tcwg-release-tag.sh @@ -733,9 +733,9 @@ 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}" || clean_and_die "Couldn't push tag: ${release_tag}" -echo git push "${REMOTE} ${local_branch}:${remote_mode_branch/remotes\/${REMOTE}/refs/heads}" || clean_and_die "Couldn't push branch: ${local_branch}" +git push "${REMOTE} ${release_tag}" || clean_and_die "Couldn't push tag: ${release_tag}" +git push "${REMOTE} ${local_branch}:${remote_mode_branch/remotes\/${REMOTE}/refs/heads}" || clean_and_die "Couldn't push branch: ${local_branch}" if [[ "${SNAPSHOT:+set}" = "set" && "${SPIN:+set}" != "set" ]]; then - echo git push ${REMOTE} "${local_int_branch}:${remote_int_branch/remotes\/${REMOTE}/refs/heads}" || clean_and_die "Couldn't push branch: ${local_int_branch}" + git push ${REMOTE} "${local_int_branch}:${remote_int_branch/remotes\/${REMOTE}/refs/heads}" || clean_and_die "Couldn't push branch: ${local_int_branch}" fi |