GitHub Web IDE von zvizvi

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
* Active Forks
* Useful Forks
* Gitpop2
* DevPod
* Clone in VSCode (locally)
* Clone in VSCode Insiders (locally)

Source code is available on https://github.com/zvizvi/GitHub-Web-IDE