Add merge-pr.sh script

scripts/merge-pr.sh

@@ -0,0 +1,34 @@
+#!/usr/bin/env sh
+
+set -eof pipefail
+
+BRANCH=$1
+if [[ $# -eq 0 ]] ; then
+    echo 'Branch required as first argument'
+    exit 0
+fi
+
+echo "[Merge PR from ${BRANCH}]"
+
+echo "[Update remote and checkout branch]"
+git remote update origin
+git checkout -B $BRANCH origin/$BRANCH && git pull
+
+echo "[Rebase and squash to one commit (manual)]"
+git rebase -i origin/develop
+
+echo "[Verify signature and commit (manual), update PR]"
+git show --show-signature
+git push -f
+
+echo "[Checkout develop and merge with same SHA]"
+git checkout develop && git pull
+git merge --ff-only $BRANCH
+
+echo "[Push to protected develop branch]"
+git push
+
+echo "[Clean up remote branch]"
+git push origin --delete $BRANCH
+
+echo "[Done]"