blacklist myself from mention-bot; it is annoying (#373)

diff --git a/.mention-bot b/.mention-bot
index 13b85d6ccaf4074b21c4d93cd83e639191941e14..55ccb5134dc8f270ef5d022bb81d64eef2adebed 100644 (file)
--- a/.mention-bot
+++ b/.mention-bot
@@ -7,6 +7,6 @@
     "Misc/NEWS"
   ],
   "userBlacklist": [],
-  "userBlacklistForPR": [],
+  "userBlacklistForPR": ["benjaminp"],
   "requiredOrgs": ["python"]
 }