Stream: Miscellaneous

Topic: Github email notification settings


view this post on Zulip Michael Soegtrop (Sep 26 2021 at 07:15):

I am not so happy with my Github email notification settings. For coq/coq I receive the emails I want but for coq/platform I only receive emails for issues and PRs when I am explicitly mentioned, which is suboptimal. For Coq Platform I would prefer to receive emails for all issues and PRs. There are the per user watch settings and I see how I can set a different email for different repos, but I can't figure out how I can choose per repo what I want to receive.

view this post on Zulip Paolo Giarrusso (Sep 26 2021 at 08:02):

Do custom watch settings not work? They're under the repo itself, not in your user settings

view this post on Zulip Paolo Giarrusso (Sep 26 2021 at 08:04):

So, not https://github.com/settings/notifications but https://github.com/coq/platform/ under "Watch -> Custom"

view this post on Zulip Paolo Giarrusso (Sep 26 2021 at 08:05):

"All Activity" might already be a better setting

view this post on Zulip Michael Soegtrop (Sep 26 2021 at 09:39):

I don't see a "Watch" menu anywhere under https://github.com/coq/platform/. There is a tab "Notifications" under settings, but this looks like project wide settings, e.g. set an email to notify CI results - for personal settings I would expect that it knows my email.

view this post on Zulip Michael Soegtrop (Sep 26 2021 at 09:43):

Hmm I guess I found it - there is an UnWatch at the top right and there "All Activities" is set. I guess the problem is that in my user watch settings I have "email" off, because otherwise I am completely flooded. Interestingly I get emails for all coq PRs where I am in the code owner list anyway.

But I guess the solution is to enable email in my personal settings, unwatch all projects from which I don't want emails and do somethign special for coq?

view this post on Zulip Paolo Giarrusso (Sep 26 2021 at 12:45):

That’s the button, and yes — maybe first get GitHub notifications to only have relevant content, then enable emails?

view this post on Zulip Théo Zimmermann (Sep 26 2021 at 14:44):

Yes, if you disabled email notifications because you received too many, this probably means that you are watching more stuff than what you can actually follow.

view this post on Zulip Théo Zimmermann (Sep 26 2021 at 14:45):

So stop watching Coq and enable email notifications.

view this post on Zulip Théo Zimmermann (Sep 26 2021 at 14:46):

Another solution is to use only the web interface to manage GitHub notifications, but this makes sense only if you are somewhat committed to going to your notification tab often.


Last updated: Aug 19 2022 at 20:03 UTC