github/dev
Press the . key on any repo observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 0
- Release rhythm 35
- Longevity 100
Flags: no_releases archived no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 1840
- days_rel: n/a
- days_push: 744
- n_releases_24m: 0
Adoption not part of the score
1520 stars · 5911 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
github.dev is a web-based VS Code editor that runs entirely in the browser, launched by pressing the . key on any GitHub repository or pull request. It lets users navigate files and make and commit code changes without cloning locally.
Use cases
- edit code directly in the browser without cloning a repo
- make quick multi-file changes on GitHub
- review and edit pull requests in a VS Code environment
- commit changes from a lightweight browser editor
When to choose
- you need a quick edit without setting up a local environment
- you want full VS Code editing features while browsing GitHub
- you're on a machine where you can't install tooling
When to avoid
- you need to run, build, or test code locally
- you need terminal access or full extension support
- you're doing heavy development requiring a complete toolchain
Facets
application · maturity stable
editor developer-tools developer-tools web-development version-control browser vscode web-based-editor github code-editing browser-ide web-server
2 sources
- readme: https://github.com/github/dev · fetched 2026-08-28 · de041778dcd0
- homepage: https://github.dev · fetched 2026-08-29 · c920671bc946
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| github/dev | main | 10 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem