diff --git a/.mention-bot b/.mention-bot index 8aeeedace10f..2bbe4a40bd49 100644 --- a/.mention-bot +++ b/.mention-bot @@ -1,7 +1,8 @@ { "userBlacklist": [ "civodul", - "jhasse" + "jhasse", + "shlevy" ], "alwaysNotifyForPaths": [ { "name": "FRidh", "files": ["pkgs/top-level/python-packages.nix", "pkgs/development/interpreters/python/*", "pkgs/development/python-modules/*" ] },