status-mobile/scripts/merge-pr.sh
Oskar Thoren 0ad29ed164
Fix merge-pr script so it runs as bash
As opposed to wannabe POSIX with bashisms. Makes it run reliably on most user
systems (Mac/Linux)
2017-12-15 11:01:39 +01:00

35 lines
701 B
Bash
Executable File

#!/bin/bash
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]"