projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e1f463c
)
get-authors: Add GitHub user ayveejay -> Andrew V. Jones.
author
Aina Niemetz
<aina.niemetz@gmail.com>
Wed, 3 Apr 2019 22:53:49 +0000
(15:53 -0700)
committer
Aina Niemetz
<aina.niemetz@gmail.com>
Wed, 3 Apr 2019 22:53:49 +0000
(15:53 -0700)
contrib/get-authors
patch
|
blob
|
history
diff --git
a/contrib/get-authors
b/contrib/get-authors
index d70e0ecdacf7a2a55a868449caed89f477a14ae2..df147d10d6d8013712e49e2d8ec992b0e61a5a65 100755
(executable)
--- a/
contrib/get-authors
+++ b/
contrib/get-authors
@@
-66,6
+66,7
@@
while [ $# -gt 0 ]; do
sed 's/Martin/Martin Brain/' | \
sed 's/justinxu421/Justin Xu/' | \
sed 's/yoni206/Yoni Zohar/' | \
+ sed 's/ayveejay/Andrew V. Jones/' | \
# Remove first columns from uniq -c (number of lines)
awk '{$1=""; print}' | \