Extensions by cmorrell.com

Better GitHub

🧑‍💻 Developer Tools

Dims draft pull requests and adds a default filter to pull request list links on GitHub.