diff --git a/.mention-bot b/.mention-bot index c6bf459a42f..3b2e93150b3 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"] }