From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 Jun 2018 18:15:39 +0000 (-0700)
Subject: Added Makai and Yoni to get-authors script.
X-Git-Tag: cvc5-1.0.0~4958
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ecb627f2757653a4b6b974faf00c00840bb83160;p=cvc5.git

Added Makai and Yoni to get-authors script.
---

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