jayce712 / dev

Press the . key on any repo

Home Page:https://github.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

What is this?

The github.dev web-based editor is a lightweight editing experience that runs entirely in your browser. You can navigate files and source code repositories from GitHub, and make and commit code changes.

There are two ways to go directly to a VS Code environment in your browser and start coding:

Preview the gif below to get a quick demo of github.dev in action.

github dev

Why?

It’s a quick way to edit and navigate code. It's especially useful if you want to edit multiple files at a time or take advantage of all the powerful code editing features of Visual Studio Code when making a quick change. For more information, see our documentation.

About

Press the . key on any repo

https://github.dev