a script for finalizing a release

pgcentralfoundation · Jun 8, 2023 · 7d76bf0 · 7d76bf0
1 parent 5a45b3a
commit 7d76bf0
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git 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
@@ -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