projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4d87f13
)
Added Makai and Yoni to get-authors script.
author
Aina Niemetz
<aina.niemetz@gmail.com>
Fri, 22 Jun 2018 18:15:39 +0000
(11:15 -0700)
committer
Aina Niemetz
<aina.niemetz@gmail.com>
Mon, 25 Jun 2018 21:11:54 +0000
(14:11 -0700)
contrib/get-authors
patch
|
blob
|
history
diff --git
a/contrib/get-authors
b/contrib/get-authors
index bdf3314005797d4668e12a86d7b85ca94cb60a09..6ee3166e2378cc36b8b6cc49b1b1b18533cc0a62 100755
(executable)
--- 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