Before GitHub’s native mobile apps and responsive website, we had a dedicated mobile site. I loved it so much, but as someone who loathes unnecessary email, I deeply missed web notifications. So I ressurected an old pull request and created a mobile version myself featuring clear icons, states, fast mark as read actions for easy triaging on the go, and a fast repository switcher.