diff options
| -rw-r--r-- | changelog.d/12450.misc | 1 | ||||
| -rwxr-xr-x | scripts-dev/release.py | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/changelog.d/12450.misc b/changelog.d/12450.misc new file mode 100644 index 0000000000..4b1c8cba87 --- /dev/null +++ b/changelog.d/12450.misc @@ -0,0 +1 @@ +Fix typo in the release script help string. diff --git a/scripts-dev/release.py b/scripts-dev/release.py index 685fa32b03..518eaf417c 100755 --- a/scripts-dev/release.py +++ b/scripts-dev/release.py @@ -69,11 +69,12 @@ def cli(): # ... wait for assets to build ... ./scripts-dev/release.py publish + ./scripts-dev/release.py upload # Optional: generate some nice links for the announcement - ./scripts-dev/release.py upload + ./scripts-dev/release.py announce If the env var GH_TOKEN (or GITHUB_TOKEN) is set, or passed into the `tag`/`publish` command, then a new draft release will be created/published. |