Skip to content

Commit

Permalink
server: use https for git dependencies
Browse files Browse the repository at this point in the history
  • Loading branch information
samcowger committed Nov 1, 2024
1 parent bdda675 commit dbbd00d
Show file tree
Hide file tree
Showing 3 changed files with 21 additions and 15 deletions.
9 changes: 6 additions & 3 deletions cn-lsp/server/cnlsp.opam
Original file line number Diff line number Diff line change
Expand Up @@ -35,11 +35,14 @@ build: [
pin-depends: [
[
"cerberus.f1f118b26"
"git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cerberus-lib.f1f118b26"
"git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cn.f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
["cn.f1f118b26" "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"]
]
18 changes: 9 additions & 9 deletions cn-lsp/server/cnlsp.opam.locked
Original file line number Diff line number Diff line change
Expand Up @@ -86,15 +86,15 @@ build: [
]
pin-depends: [
[
"cerberus.f1f118b26"
"git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
]
"cerberus.f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cerberus-lib.f1f118b26"
"git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
]
"cerberus-lib.f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cn.f1f118b26"
"git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
]
"cn.f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
]
9 changes: 6 additions & 3 deletions cn-lsp/server/cnlsp.opam.template
Original file line number Diff line number Diff line change
@@ -1,11 +1,14 @@
pin-depends: [
[
"cerberus.f1f118b26"
"git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cerberus-lib.f1f118b26"
"git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
[
"cn.f1f118b26"
"git+https://github.com/rems-project/cerberus.git#f1f118b26"
]
["cn.f1f118b26" "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"]
]

0 comments on commit dbbd00d

Please sign in to comment.