blob: c968f2e9527d227928f55036069d4a6a2a4a3e7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/usr/bin/env bash
# For compat with OSX which has a non-gnu sed which doesn't support -z
SED=`which gsed || which sed`
if [ $# != 1 ]; then
error "usage: $0 rev0..rev1"
exit 1
fi
git shortlog -s -n --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "^$" > contributors.tmp
cat contributors.tmp | wc -l | xargs echo "Contributors:"
cat contributors.tmp | gsed -z "s/\n/, /g"
echo
rm contributors.tmp
|
