contributors: Show GitHub username if real name unknown

Prior to this change if a GitHub contributor's real name was unknown
they would be omitted from the list.

Bug: https://github.com/curl/curl/issues/824

diff --git a/scripts/contributors.sh b/scripts/contributors.sh
index 88386109ffb290fe01911a27ef40bcc7709e303b..071251524a924a5cae9e5bc4d8cda5ad0f93fa86 100755 (executable)
--- a/scripts/contributors.sh
+++ b/scripts/contributors.sh
@@ -50,7 +50,7 @@ cut -d: -f2- | \
 cut '-d<' -f1 | \
 tr , '\012' | \
 sed 's/ and /\n/' | \
-sed -e 's/^ //' -e 's/ $//g'
+sed -e 's/^ //' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/'
 
 grep "^  [^ \(]" RELEASE-NOTES| \
 sed 's/, */\n/g'| \