Check if a patch has already been merged as a specified commit.

is-patch-merged-as-commit.sh

#!/bin/bash

if [[ -z $2 ]]; then
    echo -e "Usage:\n $0 <patch> <commit>"
    exit 1
fi

PATCH=$1
COMMIT=$2

merged='not'

if [[ $(sed -n -e '/diff --git/,$p' ${PATCH} | sha1sum) = \
    $(git show ${COMMIT} | sed -n -e '/diff --git/,$p' | sha1sum) ]]; then
    merged=
fi

echo ${PATCH} has ${merged} been merged as commit ${COMMIT}.