Change release script to use a branch for the release.#90

Merged

orium merged 1 commit intomainfrom release-script-branch

Nov 5, 2023

+12-7

Commits on Nov 5, 2023

Change release script to use a branch for the release.
orium
committed