diff options
| -rw-r--r-- | .mention-bot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.mention-bot b/.mention-bot index c6bf459a42..3b2e93150b 100644 --- a/.mention-bot +++ b/.mention-bot @@ -7,6 +7,6 @@ "Misc/NEWS", "Doc/whatsnew/*.rst" ], - "userBlacklist": ["gvanrossum", "skrah"], + "userBlacklist": ["gvanrossum", "skrah", "haypo"], "userBlacklistForPR": ["benjaminp", "skrah"] } |