Merge pull request #431 from mirage/awa-ssh

Remove pin-depends on awa
mirage · Jan 7, 2021 · 0514a03 · 0514a03
2 parents 25043a2 + db26f50
commit 0514a03
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git a/git-mirage.opam b/git-mirage.opam
@@ -38,8 +38,3 @@ build: [
   ["dune" "runtest" "-p" name "-j1" "--no-buffer"] {with-test}
 ]
 dev-repo: "git+https://github.com/mirage/ocaml-git.git"
-
-pin-depends: [
-  [ "awa.dev" "git+https://github.com/mirage/awa-ssh.git#c337fbac71e3699ba4bcefe9382c9842354b3bee" ]
-  [ "awa-mirage.dev" "git+https://github.com/mirage/awa-ssh.git#c337fbac71e3699ba4bcefe9382c9842354b3bee" ]
-]
diff --git a/git-unix.opam b/git-unix.opam
@@ -51,8 +51,3 @@ build: [
   ["dune" "runtest" "-p" name "-j1" "--no-buffer"] {with-test}
 ]
 dev-repo: "git+https://github.com/mirage/ocaml-git.git"
-
-pin-depends: [
-  [ "awa.dev" "git+https://github.com/mirage/awa-ssh.git#c337fbac71e3699ba4bcefe9382c9842354b3bee" ]
-  [ "awa-mirage.dev" "git+https://github.com/mirage/awa-ssh.git#c337fbac71e3699ba4bcefe9382c9842354b3bee" ]
-]