diff options
author | Alejandro Rodríguez <alejorro70@gmail.com> | 2017-09-06 22:04:57 +0300 |
---|---|---|
committer | Alejandro Rodríguez <alejorro70@gmail.com> | 2017-09-06 22:04:57 +0300 |
commit | aa189d6cd7d4a91b7cfb46aa4f4f92d5cbe09e5d (patch) | |
tree | 186f3df4283b682472a195af87d95b2716c91e6e /_support | |
parent | 137cfb9f0dfcb99436ea86928be3797cb4250563 (diff) |
Fix push command on release script
Diffstat (limited to '_support')
-rwxr-xr-x | _support/release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_support/release b/_support/release index 78e19ab05..366045f9e 100755 --- a/_support/release +++ b/_support/release @@ -44,7 +44,7 @@ def main(version) $stdout.flush abort unless $stdin.gets.chomp == 'Yes' - run!(%W[echo git push origin HEAD #{tag_name}]) + run!(%W[git push origin HEAD #{tag_name}]) end def write_version_file(version) |