Stream: Miscellaneous

Topic: Github email notification settings

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.

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

Paolo Giarrusso (Sep 26 2021 at 08:04):

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

Paolo Giarrusso (Sep 26 2021 at 08:05):

"All Activity" might already be a better setting

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.

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?

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?

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.

Théo Zimmermann (Sep 26 2021 at 14:45):

So stop watching Coq and enable email notifications.

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: Nov 29 2023 at 05:01 UTC