diff options
Diffstat (limited to 'contributors.sh')
| -rwxr-xr-x | contributors.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contributors.sh b/contributors.sh index d148f5289..de1944d62 100755 --- a/contributors.sh +++ b/contributors.sh @@ -37,6 +37,7 @@ fi # split list of names at comma # cut off spaces first and last on the line # only count names with a space (ie more than one word) +# filter alternatives through THANKS-filter # sort all unique names # awk them into RELEASE-NOTES format git log $start..HEAD | \ @@ -46,7 +47,8 @@ cut '-d<' -f1 | \ tr , '\012' | \ sed -e 's/^ //' -e 's/ $//g' | \ grep ' ' | \ -sort -fu | +sed -f ./docs/THANKS-filter | \ +sort -fu | \ awk '{ num++; n = sprintf("%s%s%s,", n, length(n)?" ":"", $0); |