diff --git a/docs/src/contributing/release.md b/docs/src/contributing/release.md index a373c7057..10bb9f777 100644 --- a/docs/src/contributing/release.md +++ b/docs/src/contributing/release.md @@ -8,13 +8,10 @@ - edit them as best as you can while channeling @workingjubilee's spirit - request a review - do a squash merge into develop - -```shell -./finalize-release.sh -``` - - create the actual release on GitHub, tagging the `develop` branch with "${NEW_VERSION}", using the release notes you made in your PR ```shell +git switch develop +git pull origin/develop ./publish.sh ``` diff --git a/prepare-release.sh b/prepare-release.sh index d25ee6374..ff62d04b8 100755 --- a/prepare-release.sh +++ b/prepare-release.sh @@ -25,7 +25,10 @@ elif [ "$NEW_VERSION" = "" ]; then else git pull origin develop --ff-only git switch -c "prepare-${NEW_VERSION}" - + + cargo install --path cargo-pgrx --locked + cargo pgrx init + # exit early if the script fails ./update-versions.sh "${NEW_VERSION}" || exit $?