pullrep

#!/bin/bash
# Get a report on who has merged my pull requests.
# Only looks at local data -- whatever you have pulled from upstream.

# You can provide someone else's name as first argument!
if [ -z $1 ]; then
	GH_USER=$(git remote -v | grep '^origin' | head -n 1 | sed 's/.\+:\(.\+\)\/.\+/\1/')
else
	GH_USER="$1"
fi

if [ -z "$GH_USER" ]; then
	echo 'Could not locate your origin repo; are you in a repo with remote "origin?"';
	exit 1;
fi

PRS=$(git log | grep -B 3 "Merge pull request #[0-9]\+ from $GH_USER\|Landing pull request [0-9]\+ from $GH_USER")

ALL_PULLERS=$(echo "$PRS" | grep '^Author' | sed 's/^Author: //' | sort | uniq -c | sort -nr)

echo
echo "-- Pull report for $GH_USER --"
TOTAL_PULLS=0
while read -d ' ' C; do
	TOTAL_PULLS=$(( $TOTAL_PULLS + $C ))
done <<< $(echo "$ALL_PULLERS" | awk '{print $1}')

echo "Total pulls: $TOTAL_PULLS"

echo "All pullers:"
echo "$ALL_PULLERS"

LAST_FIVE=$(echo "$PRS" | grep '^Author\|^Date' | head -n 10 | sed 's/^Author: \|^Date: //')
echo "Last five pullers:"
echo "$LAST_FIVE"