Extensions by foxytanuki

GitHub Tools Switcher

🧑‍💻 Developer Tools

Easily switch between GitHub and various developer tools that use GitHub URLs