It’s a small change, but it makes the day-to-day workflow that much nicer. The past two of years I’ve been averaging about 600 merged pull requests per year, and the overwhelming majority of them have continuous integration running on them. This means that switching to a PR tab to see whether it’s green yet or not has been a daily workflow. GitHub just made that workflow a lot easier. Now all I have to do is just look at the tab’s favicon.1

  1. Oh yeah—and that’s yet another reason to not use Safari as a browser, since it doesn’t have the ability to show favicons. Silly Safari. 🙃 ↩︎