Open in (GitHub) Dev!

Convenience: achieved. When browsing a repo on GitHub.com, right click anywhere on the page and click "Open in .dev!" to easily open that repo in GitHub.dev for much better developer experience! You can also right click a GitHub link on any site and open it directly in GitHub.dev.