-
Notifications
You must be signed in to change notification settings - Fork 5.9k
Directly open github repo through repo link #1355
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
This would be cool. I don't think we'd need to patch anything to get it working. Maybe if the |
Is it a good way to execute "git clone" in server.preHandleRequest() and then modify MainServer.handleRequest() to call getRoot() with proper path? |
Hmm, it might make sense to do this right after the call to
`getFirstValidPath`. You can do the clone then change `startPath` to the
directory of the clone.
|
Sail by coder supports this use case with the browser extension: |
Closing for now. We don't have immediate plans for this within code-server. |
I'm very fond of Gitpod, which supports opening a GitHub repo by prefixing any public GitHub or GitLab URL with gitpod.io/# in the browser.
e.g.: https://www.gitpod.io/#https://github.com/cdr/code-server
I want to add this feature to this project but have no idea how and where to start.
My initial thought is to add a rule to the URL parser in the patch, once the URL matched, execute "git clone" and then open.
But later I realized this feature requires git, would it be better to implement this feature as an extension? If yes, use UriHandler API?
or any other better solution?
The text was updated successfully, but these errors were encountered: