THANKS-filter: strip out "GitHub"
diff --git a/docs/THANKS-filter b/docs/THANKS-filter
index 8a05f23..b56763e 100644
--- a/docs/THANKS-filter
+++ b/docs/THANKS-filter
@@ -132,3 +132,4 @@
 s/ *via curl-library *//
 s/Evgeny Grin$/Evgeny Grin (Karlson2k)/
 s/Karlson2k on github/Evgeny Grin (Karlson2k)/
+s/GitHub$//