Managing Mail Notifications

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:

notifications

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

filter_mail_notifications

Another option to reduce the mail overload, yet still receive notifications on PR-Agent tools, is to disable the help collapsible section in PR-Agent bot comments. This can done by setting enable_help_text=false for the relevant tool in the configuration file. For example, to disable the help text for the pr_reviewer tool, set: 

[pr_reviewer]
enable_help_text = false

Footer