THANKS-filter: strip out "GitHub"

diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 8a05f23704b45cb9c6890ffa1f6b3f68315d3a0c..b56763e5e4cb8f291218c2ce7825e1a21a6457d9 100644 (file)
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -132,3 +132,4 @@ s/i-ky on github/Gleb Ivanovsky/
 s/ *via curl-library *//
 s/Evgeny Grin$/Evgeny Grin (Karlson2k)/
 s/Karlson2k on github/Evgeny Grin (Karlson2k)/
+s/GitHub$//