As an alternative, you can enable github notifications for a repo and mails for notifications, see https://github.com/settings/notifications.I definitely like having them, because it makes it clear when something has been merged, which isn't really the case with github's notifications (not without reading them all individually anyway), and in that respect, I'm annoyed that the dmd list stopped getting notifications. So, maybe I'm in the minority, but I will miss these notifications if they go away.
Merged #684.
—
Reply to this email directly or view
it on GitHub.