And if that’s unsatisfactory, GitHub has its own notifications part of the UI.

This is in search of a problem.