contributors.sh: lowercase 'github' for consistency

also fix contrithanks and THANKS-filter

Ref: #16438
Closes #16443

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index e4f1bfd0ca06d53c9abf6ab47e5d56cd7777580c..6f1faed3a8655f989e9504cd50b88f5bc346dec5 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -157,3 +157,4 @@ s/edmcln\z/edmcln on github/
 s/andrewkirillov-ibm/Andrew Kirillov/
 s/\(.*\) via #[0-9]*//
 s/jethrogb$/jethrogb on github/
+s/on github/on github/i

diff --git a/scripts/contributors.sh b/scripts/contributors.sh
index ad6f0b566286385ad50d9dab3b8cb657fdd03b11..ddc9bdfba0320380eb334fe0b147d044824b3721 100755 (executable)
--- a/scripts/contributors.sh
+++ b/scripts/contributors.sh
@@ -67,9 +67,10 @@ CURLWWW="${CURLWWW:-../curl-www}"
   cut '-d(' -f1 | \
   cut '-d<' -f1 | \
   tr , '\012' | \
-  sed 's/ at github/ on github/' | \
+  sed 's/ at github/ on github/i' | \
+  sed 's/on github/on github/i' | \
   sed 's/ and /\n/' | \
-  sed -e 's/^ *//' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/'
+  sed -e 's/^ *//' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/i'
 
   grep -a "^  [^ \(]" RELEASE-NOTES| \
   sed 's/, */\n/g'| \

diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index 2afc30c24406f46779f0490649c808789a381722..d212d35d2a7463043e921ff52fc12dbc2b370d56 100755 (executable)
--- a/scripts/contrithanks.sh
+++ b/scripts/contrithanks.sh
@@ -43,7 +43,7 @@ fi
 # We also include curl-www if possible. Override by setting CURLWWW
 CURLWWW="${CURLWWW:-../curl-www}"
 
-cat ./docs/THANKS
+cat ./docs/THANKS | sed 's/ github/ github/i'
 
 {
   {
@@ -57,9 +57,10 @@ cat ./docs/THANKS
   cut '-d(' -f1 | \
   cut '-d<' -f1 | \
   tr , '\012' | \
-  sed 's/ at github/ on github/' | \
+  sed 's/ at github/ on github/i' | \
   sed 's/ and /\n/' | \
-  sed -e 's/^ //' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/'
+  sed -e 's/^ //' -e 's/ $//g' -e 's/@users.noreply.github.com$/ on github/i' | \
+  sed 's/ github/ github/i'
 
   # grep out the list of names from RELEASE-NOTES
   # split on ", "