nixpkgs/.mention-bot

{
  // users in this list will never be mentioned by mention-bot
  "userBlacklist": [
    "civodul"
  ]
}