From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Sat, 7 Apr 2018 18:45:16 +0000 (-0700)
Subject: Fixed get-authors.
X-Git-Tag: cvc5-1.0.0~5172
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67d245bfe914ae2594ecad8a9140d468270adf88;p=cvc5.git

Fixed get-authors.
---

diff --git a/contrib/get-authors b/contrib/get-authors
index 59187a81c..bdf331400 100755
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -40,6 +40,9 @@ while [ $# -gt 0 ]; do
     sed 's/guykatzz/Guy/' | \
     sed 's/Guy Katz/Guy/' | \
     sed 's/Guy/Guy Katz/' | \
+    sed 's/Martin Brain/Martin/' | \
+    sed 's/Martin/Martin Brain/' | \
+    sed 's/justinxu421/Justin Xu/' | \
     eval "$strip_email" | \
     sort | uniq -c | sort -nr | head -n 3 | \
     ( while read lines author; do