git merge-pr

git-merge-pr

#!/bin/bash
# Usage: git merge-pr [<branch-name>]
# ln -s ~/Desktop/git-merge-pr /usr/local/bin
#
# Merge the PR for a given branch, and delete branches (local and remote)
# afterwards.
# Defaults to current branch.
set -e

BRANCH=`git rev-parse --abbrev-ref HEAD`
HEAD=${1:-$BRANCH}
BASE=${2:-master}

git log --oneline $BASE..$HEAD
echo
read -p "Merge $HEAD into $BASE?"
if [[ $REPLY =~ ^[Yy]$ ]]
then
    echo

    git checkout $BASE \
    && git pull \
    && echo "Merge" \
    && git merge --no-edit $HEAD \
    && git push \
    && echo "Delete branches" \
    && git branch -d $HEAD \
    && git push origin :$HEAD
fi