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.
Do custom watch settings not work? They're under the repo itself, not in your user settings
So, not https://github.com/settings/notifications but https://github.com/coq/platform/ under "Watch -> Custom"
"All Activity" might already be a better setting
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.
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?
That’s the button, and yes — maybe first get GitHub notifications to only have relevant content, then enable emails?
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.
So stop watching Coq and enable email notifications.
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