yesterday I automated my banner from my GitHub graph. today, the other GitHub thing: I stopped using email for notifications after a decade, big shift in habit.
@github's built-in inbox is quite well designed. the missing parts I covered with a small dashboard on the GitHub API.
