From 7d76bf0b2909ce0c3dedcd9b9e6eb6d2aa1f4ed1 Mon Sep 17 00:00:00 2001 From: "Eric B. Ridge" Date: Thu, 8 Jun 2023 12:24:16 -0400 Subject: [PATCH] a script for finalizing a release --- HOW_TO_CUT_A_PGRX_RELEASE.md | 7 +------ finalize-release.sh | 8 ++++++++ 2 files changed, 9 insertions(+), 6 deletions(-) create mode 100755 finalize-release.sh diff --git a/HOW_TO_CUT_A_PGRX_RELEASE.md b/HOW_TO_CUT_A_PGRX_RELEASE.md index 788bf872d..7062bacef 100644 --- a/HOW_TO_CUT_A_PGRX_RELEASE.md +++ b/HOW_TO_CUT_A_PGRX_RELEASE.md @@ -10,12 +10,7 @@ - do a squash merge into develop ```shell -git switch develop -git pull origin develop --ff-only -git switch master -git pull origin master --ff-only -git merge develop -git push origin master +./finalize-release.sh ``` - create the actual release on GitHub, tagging the `master` branch with "${NEW_VERSION}", using the release notes you made in your PR diff --git a/finalize-release.sh b/finalize-release.sh new file mode 100755 index 000000000..810a33054 --- /dev/null +++ b/finalize-release.sh @@ -0,0 +1,8 @@ +#! /usr/bin/env bash + +git switch develop +git pull origin develop --ff-only +git switch master +git pull origin master --ff-only +git merge develop +git push origin master