Open in (GitHub) Dev!

by OveringOwl · Developer Tools

FeaturedManifest V3 Free

View in Chrome Web Store Data as of 16 Oct 2026

Conveniently open GitHub repos in GitHub.dev via right-click.

Users

+2 in 30 days

Rating

5.0 / 5

unchanged in 30 days

Ratings

0 in 30 days

Store rank

#153K

#128K among extensions

Version

1.0.1

updated 16 Oct 2024

Users

monthly, 2 years

Latest, 16 Oct 2026: 19 usersMove the mouse over the chart for any month

Ratings count

monthly, 2 years

Latest, 16 Oct 2026: 1 ratingsMove the mouse over the chart for any month

The Chrome Web Store rounds user counts down to the leading digit, so the user line moves in steps. The ratings count is exact and is the better signal of real adoption.

About 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.