Add a script to merge the maintenance branch to master.

2022-07-26 17:37:30 -04:00
parent 8b3e05d75e
commit 7b25b2e9b9
1 changed files with 10 additions and 0 deletions
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+set -e -u -o pipefail
+
+branch=$(git branch --show-current)
+git checkout master
+git pull --rebase
+git merge $branch -m "Merge branch '$branch'"
+git push
+git checkout $branch