diff options
Diffstat (limited to '.mention-bot')
-rw-r--r-- | .mention-bot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.mention-bot b/.mention-bot index d8529bd9123e..33c7e41c1dc7 100644 --- a/.mention-bot +++ b/.mention-bot @@ -2,7 +2,8 @@ "userBlacklist": [ "civodul", "jhasse", - "shlevy" + "shlevy", + "bbenoist" ], "alwaysNotifyForPaths": [ { "name": "FRidh", "files": ["pkgs/top-level/python-packages.nix", "pkgs/development/interpreters/python/*", "pkgs/development/python-modules/*" ] }, |