From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 2 Apr 2013 17:34:55 +0000 (-0400)
Subject: Fix get-authors script to not extract email addresses, canonicalize names, add .mailmap
X-Git-Tag: cvc5-1.0.0~7339
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6673ce0fdd4bb727208be0cbea59585179758a1c;p=cvc5.git

Fix get-authors script to not extract email addresses, canonicalize names, add .mailmap
---

diff --git a/.mailmap b/.mailmap
new file mode 100644
index 000000000..1560f0272
--- /dev/null
+++ b/.mailmap
@@ -0,0 +1,13 @@
+Morgan Deters <mdeters@cs.nyu.edu> <mdeters@cs.nyu.edu>
+Morgan Deters <mdeters@cs.nyu.edu> <mdeters@gmail.com>
+Dejan Jovanovic <dejan@cs.nyu.edu> <dejan@cs.nyu.edu>
+Dejan Jovanovic <dejan@cs.nyu.edu> <dejan.jovanovic@gmail.com>
+Francois Bobot <francois@bobot.eu> <francois@bobot.eu>
+Liana Hadarean <lianah@cs.nyu.edu> <lianahady@gmail.com>
+Andrew Reynolds <andrew.j.reynolds@gmail.com> <andrew.j.reynolds@gmail.com>
+Cesare Tinelli <cesare-tinelli@uiowa.edu> <cesare-tinelli@uiowa.edu>
+Christopher L. Conway <christopherleeconway@gmail.com> <christopherleeconway@gmail.com>
+Clark Barrett <barrett@cs.nyu.edu> <barrett@cs.nyu.edu>
+Kshitij Bansal <kshitij@cs.nyu.edu> <kshitij@cs.nyu.edu>
+Tianyi Liang <tianyi-liang@uiowa.edu> <tianyi-liang@uiowa.edu>
+Tim King <taking@cs.nyu.edu> <taking@cs.nyu.edu>
diff --git a/contrib/get-authors b/contrib/get-authors
index 118ca4466..0fe71dca3 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -11,6 +11,13 @@
 
 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
@@ -18,7 +25,7 @@ while [ $# -gt 0 ]; do
   major_contributors=
   minor_contributors=
   total_lines=`wc -l "$f" | awk '{print$1}'`
-  original_author=`git log --pretty="format:%aN <%aE>" "$f" | tail -1`
+  original_author=`git log --use-mailmap --pretty="format:%aN <%aE>" "$f" | tail -1`
   git blame --incremental "$f" | gawk '/^[0-9a-f]+ [0-9]+ [0-9]+ [0-9]+$/ {nl=$4;} /^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 -n |
     ( while read lines author; do
         pct=$((100*$lines/$total_lines))
@@ -32,5 +39,5 @@ while [ $# -gt 0 ]; do
       done; \
       echo "$original_author"
       echo "${major_contributors:-none}"
-      echo "${minor_contributors:-none}" )
+      echo "${minor_contributors:-none}" ) | eval "$strip_email"
 done