When my team at work started doing a lot of projects in GitHub, I had trouble keeping up with all the notifications from the issue tracker in Gmail. …