GitHub.dev is an editor introduces a lightweight editing experience that runs entirely in your browser.