diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/release/04_post_publish.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release/04_post_publish.ts b/tools/release/04_post_publish.ts index d437bb39a..4ed9d9f53 100755 --- a/tools/release/04_post_publish.ts +++ b/tools/release/04_post_publish.ts @@ -26,7 +26,7 @@ async function createReleaseTag() { console.log(`Tag ${tagName} already exists.`); } else { await repo.gitTag(tagName); - await repo.gitPush(tagName); + await repo.gitPush("origin", tagName); } } |