diff options
Diffstat (limited to 'desktop/scripts')
| -rwxr-xr-x | desktop/scripts/release/2-push-release-tag | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/scripts/release/2-push-release-tag b/desktop/scripts/release/2-push-release-tag index 966e74a40a..a5115ed860 100755 --- a/desktop/scripts/release/2-push-release-tag +++ b/desktop/scripts/release/2-push-release-tag @@ -18,6 +18,7 @@ function push_tag { product_version=$(echo -n "$PRODUCT_VERSION") echo "Tagging current git commit with release tag $product_version..." print_and_run git tag -s "$product_version" -m "$product_version" + git push print_and_run git push origin "$product_version" log_success "\nTag pushed!" } |