Find my own reviewers for PRs.

diff --git a/.mention-bot b/.mention-bot
index 78c06ae02baaa1713cdd804d99a8ada3a1993466..1f74fbfe38e16b14b7b2b8933a76a0c07c6f4cf7 100644 (file)
--- a/.mention-bot
+++ b/.mention-bot
@@ -7,5 +7,6 @@
     "Misc/NEWS"
   ],
   "userBlacklist": ["gvanrossum"],
-  "userBlacklistForPR": ["benjaminp"]
+  "userBlacklistForPR": ["benjaminp"],
+  "userBlacklistForPR": ["skrah"]
 }