Skip to content
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

Support ssh urls in pin-depends #23

Open
rizo opened this issue May 29, 2024 · 0 comments
Open

Support ssh urls in pin-depends #23

rizo opened this issue May 29, 2024 · 0 comments

Comments

@rizo
Copy link
Owner

rizo commented May 29, 2024

E.g.:

ssh://[email protected]:org/repo.git#264aa74fa0129c9e40b0d3aa476f8c0e05df5a8f

See https://opam.ocaml.org/doc/Manual.html#URLs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant