diff options
| -rw-r--r-- | .mention-bot | 3 |
1 files changed, 2 insertions, 1 deletions
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/*" ] }, |