diff options
author | David Sherret <dsherret@users.noreply.github.com> | 2022-04-07 14:40:20 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-07 14:40:20 -0400 |
commit | b2aaf708abd1af7c6df34a273a1720de63f93fcc (patch) | |
tree | 814e4cf6e3f9ce6d6dbc7e3a304a78bb2b6168c0 /tools/release/04_post_publish.ts | |
parent | 181e378032757938be88d8a02d6f87be191b47e2 (diff) |
chore: forward v1.20.5 release commit to main (#14232)
Diffstat (limited to 'tools/release/04_post_publish.ts')
-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); } } |