pr-agent/docs/docs/usage-guide/mail_notifications.md

Unfortunately, it is not possible in GitHub to disable mail notifications from a specific user. If you are subscribed to notifications for a repo with PR-Agent, we recommend turning off notifications for PR comments, to avoid lengthy emails:

{width=512}

As an alternative, you can filter in your mail provider the notifications specifically from the PR-Agent bot, see how.

{width=512}

Another option to reduce the mail overload is disable the help collapsible section in PR-Agent bot comments, by adding the relevant configurations to the .pr_agent.toml file. For example, to disable the help text for the pr_reviewer tool, add to the configuration file:

[pr_reviewer]
enable_help_text = false