![GitHub Web IDE](https://addons.mozilla.org/user-media/addon_icons/2686/2686686-64.png?modified=ac085925)
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
- storage
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
- Google IDX
- Sourcegraph
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.