Did you know that GitHub has a secret tool?
GitHub dev
GitHub.dev is an editor introduces a lightweight editing experience that runs entirely in your browser. With the github.dev editor, you can navigate files and source code repositories from GitHub, and make and commit code changes. You can open any repository, fork, or pull request in the editor. According to this article.
How to open github dev?
To open it you will need to select the repo that you want to edit.
Then change github.com to github.dev and that's it :)
Top comments (0)