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?
GitHub Web IDE is a Firefox add-on that enhances GitHub repositories by offering a drop down menu with links to online services for viewing source code in an IDE-like interface. It supports services like GitHub Dev, VSCode Dev, CodeSandbox, and more.
Add-on stats
By: zvizvi
Rating: 4.56
(9)
Creation date: 2021-02-11
Weekly download count: 3
Firefox on Android: No
Manifest version: 3
Permissions:
- storage
Size: 126.53K
Email: zv*****@outlook.com
URLs: Website
Ranking
Want to check extension ranking and stats more quickly for other Firefox add-ons?
Install
Chrome-Stats extension
to view Chrome-Stats data as you browse the Firefox Browser Add-ons.
Add-on 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
by origin80417, 2024-05-14
by origin80417, 2024-05-14
by origin80417, 2024-05-14
Add-on safety
Risk impact
GitHub Web IDE requires a few sensitive permissions. Exercise caution before installing.
Risk likelihood
GitHub Web IDE is probably trust-worthy. Prefer other publishers if available. Exercise caution when installing this add-on.
Upgrade to see risk analysis details