Conversation

Accidentally disabled Refined Github (browser extension) the other day, and I had completely forgotten how good it is / how bad GitHub is without.

Among other things, it adds
- the first tag/release a merged PR was in
- a button to download entire folders
- highlights the most useful/upvoted comment
- de-emphasizes bot PRs
- makes PR titles the default squash commit message
- intelligent issue subscribe choices
- build status in repository title (SO useful)
- notification filters

1/

#github