blob: 4c1bb023332768d463a7aa810f38dfc5e0b67bdc (
plain)
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
|
#!/bin/sh
#
# get-authors
# Morgan Deters <mdeters@cs.nyu.edu> for CVC4
# Copyright (c) 2009-2014 The CVC4 Project
#
# usage: get-authors [ files... ]
#
# This script uses git to get the original author
#
gituser="`git config user.name` <`git config user.email`>"
if [ "$1" = "--email" ]; then
strip_email=cat
shift
else
strip_email="sed 's, *<[^>]*@[^>]*>,,g'"
fi
while [ $# -gt 0 ]; do
f=$1
shift
contributors=
total_lines=`wc -l "$f" | awk '{print$1}'`
git blame --incremental "$f" | gawk '/^[0-9a-f]+ [0-9]+ [0-9]+ [0-9]+$/ {nl=$4;} /^summary .*copyright/ {nl=0} /^author / {$1=""; author=$0;} /^author-mail / {mail=$2} /^filename / {while(nl--) {print author,mail}}' | sed "s,Not Committed Yet <not.committed.yet>,$gituser," | sort | uniq -c | sort -nr | head -n 3 |
( while read lines author; do
contributors="${contributors:+$contributors, }$author"
done; \
echo "$contributors") | eval "$strip_email"
done
|
