GitHub Web IDE
This extension enhances GitHub repositories by adding a convenient dropdown menu which offers direct links to various online platforms that allow users to view and interact with the repository's source code in an environment reminiscent of an IDE.
What is GitHub Web IDE?
Stats
Chrome-Stats Rank
Other platforms
Summary
This extension enhances GitHub repositories by adding a convenient dropdown menu. This menu offers direct links to various online platforms that allow users to view and interact with the repository's source code in an environment reminiscent of an IDE. This feature is designed to streamline the code review process and improve productivity by providing immediate, in-browser access to sophisticated code exploration tools.
Services currently supported:
- GitHub Dev
- VSCode Dev
- CodeSandbox
- GiHub1s
- GitLab1s
- Repl.it
- Gitpod
- StackBlitz
- Glitch
- Sourcegraph
- JsDelivr
User reviews
Safety
Risk impact
GitHub Web IDE may not be safe to use and it requires some risky permissions. Exercise caution when installing this add-on. Review carefully before installing.
Risk likelihood
GitHub Web IDE is probably trust-worthy. Prefer other publishers if available. Exercise caution when installing this add-on.