1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#!/usr/bin/bash
# For compat with OSX which has a non-gnu sed which doesn't support -z
SED=`(which gsed || which sed) 2> /dev/null`
if [ $# != 1 ]; then
echo "usage: $0 rev0..rev1"
exit 1
fi
git shortlog -s -n --no-merges --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 | $SED -z "s/\n/, /g"
echo
rm contributors.tmp
git shortlog -s -n --merges --group=author --group=trailer:Co-authored-by $1 | cut -f2 | sort -k 2 | grep -v -e "coqbot" -e "^$" > assignees.tmp
cat assignees.tmp | wc -l | xargs echo "Assignees:"
cat assignees.tmp | $SED -z "s/\n/, /g"
echo
rm assignees.tmp
git shortlog -s -n --merges --group=trailer:reviewed-by --group=trailer:ack-by $1 | cut -f2 > reviewers-pseudos.tmp
rm -f reviewers-names.tmp
for i in `cat reviewers-pseudos.tmp`
do
res=`grep $i .mailmap`
if [[ $? == 1 ]]
then
echo $i" not found"
continue
fi
echo $res | tail -n1 | cut -d'<' -f1 >> reviewers-names.tmp
done
cat reviewers-names.tmp | sort -k 2 > reviewers.tmp
rm reviewers-pseudos.tmp reviewers-names.tmp
cat reviewers.tmp | wc -l | xargs echo "Reviewers:"
cat reviewers.tmp | $SED -z "s/ \n/, /g"
echo
rm reviewers.tmp
|
