From 488caf2a9026ffd5e0bf301d0a196a4e7045901b Mon Sep 17 00:00:00 2001 From: Tal Date: Sat, 2 Mar 2024 20:46:47 +0200 Subject: [PATCH] Update Usage.md --- Usage.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Usage.md b/Usage.md index bc7b7839..99565494 100644 --- a/Usage.md +++ b/Usage.md @@ -99,12 +99,12 @@ For example, in the GitHub organization `Codium-ai`: ## 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: -As an alternative, you can filter in you mail provider the notifications specifically from the PR-Agent bot: +As an alternative, you can filter in your mail provider the notifications specifically from the PR-Agent bot: https://www.quora.com/How-can-you-filter-emails-for-specific-people-in-Gmail#:~:text=On%20the%20Filters%20and%20Blocked,the%20body%20of%20the%20email