Suggestions on how to improve Github's notifications