The mention-bot is too exuberant for my taste. (#522)

diff --git a/.mention-bot b/.mention-bot
index 22ee4627dff35bb81e8e7f54774e409f48746703..10eef5edf7d75e9128cd2187d76bda4d1fb052e0 100644 (file)
--- a/.mention-bot
+++ b/.mention-bot
@@ -6,6 +6,6 @@
     "Misc/ACKS",
     "Misc/NEWS"
   ],
-  "userBlacklist": ["gvanrossum"],
+  "userBlacklist": ["gvanrossum", "skrah"],
   "userBlacklistForPR": ["benjaminp", "skrah"]
 }