pin to git not local path

CQCL · Feb 6, 2025 · 75c7c85 · 75c7c85
1 parent 970ebb4
commit 75c7c85
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -26,10 +26,10 @@ missing_docs = "warn"
 [patch.crates-io]
 
 # Uncomment to use unreleased versions of hugr
-hugr.path = "../hugr/hugr"
-hugr-core.path = "../hugr/hugr-core"
-hugr-passes.path = "../hugr/hugr-passes"
-hugr-cli.path = "../hugr/hugr-cli"
+hugr = { git = "https://github.com/CQCL/hugr", branch = "doug/un-non-local"}
+hugr-core = { git = "https://github.com/CQCL/hugr", branch = "doug/un-non-local"}
+hugr-passes = { git = "https://github.com/CQCL/hugr", branch = "doug/un-non-local"}
+hugr-cli = { git = "https://github.com/CQCL/hugr", branch = "doug/un-non-local"}
 # hugr-model = { git = "https://github.com/CQCL/hugr", rev = "09bd748398ce5afb39f5628d838756ccc03fc775" }
 # portgraph = { git = "https://github.com/CQCL/portgraph", rev = "68b96ac737e0c285d8c543b2d74a7aa80a18202c" }