Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
sourcegraph
Fetched on 2024/04/30 20:14
sourcegraph
/
open-in-editor-extension
Sourcegraph extension to open the currently viewed file in your editor of choice -
View it on GitHub
Star
3
Rank
2559216