From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 3 Jun 2020 14:12:07 +0000 (-0700)
Subject: Fix normalization of author names in contrib/get-authors. (#4553)
X-Git-Tag: cvc5-1.0.0~3265
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=145b9367255d2925b6b4e43818e223b9186bcfad;p=cvc5.git

Fix normalization of author names in contrib/get-authors. (#4553)
---

diff --git a/contrib/get-authors b/contrib/get-authors
index df147d10d..0fb3f6ae1 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -47,10 +47,8 @@ while [ $# -gt 0 ]; do
       '$2 !~ /^[ \t]*(#include|namespace|}.*namespace.*|[ \t]*$)/ {print $1}' | \
 
     # Keep author names only, remove the last 4 columns in ( ... )
-    awk 'NF{NF-=4};1' | \
 
-    # Determine top three contributors
-    sort | uniq -c | sort -rn | head -n3 | \
+    awk 'NF{NF-=4};1' | \
 
     # Fix author names
     sed "s,Not Committed Yet <not.committed.yet>,$gituser," | \
@@ -68,6 +66,9 @@ while [ $# -gt 0 ]; do
     sed 's/yoni206/Yoni Zohar/' | \
     sed 's/ayveejay/Andrew V. Jones/' | \
 
+    # Determine top three contributors
+    sort | uniq -c | sort -rn | head -n3 | \
+
     # Remove first columns from uniq -c (number of lines)
     awk '{$1=""; print}' | \