xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-07 22:30:38 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
1f126069b13560ff3dfa26d3f03f889585c91d8f
pr-agent/docs/docs/usage-guide/mail_notifications.md
mrT23 68f29a41ef readme
2024-04-07 11:52:42 +03:00

1.1 KiB
Raw Blame History

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{width=512}

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

filter_mail_notifications{width=512}

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