status-react/scripts/merge-pr.sh

35 lines
707 B
Bash
Raw Normal View History

2017-12-05 18:04:45 +00:00
#!/usr/bin/env sh
2017-12-12 08:00:46 +00:00
set -euf pipefail
2017-12-05 18:04:45 +00:00
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]"