From d6e139004d4ccc8aef81bbeeb7adab79968dedb0 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Sat, 23 Sep 2023 23:39:32 +0000
Subject: [PATCH] Change URL of mbedtls repository

---
 Cargo.lock                                                  | 6 +++---
 .../microkit/http-server/pds/server/core/Cargo.toml         | 2 +-
 crates/private/tests/root-task/mbedtls/Cargo.toml           | 6 +++---
 crates/sel4-async/network/mbedtls/Cargo.toml                | 2 +-
 hacking/nix/scope/generated-cargo-manifests/default.nix     | 4 ++--
 5 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index f55b7a0a2..a9eaff0d4 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1597,7 +1597,7 @@ checksum = "0ca88d725a0a943b096803bd34e73a4437208b6077654cc4ecb2947a5f91618d"
 [[package]]
 name = "mbedtls"
 version = "0.11.0"
-source = "git+https://github.com/nspin/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
+source = "git+https://github.com/coliasgroup/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
 dependencies = [
  "async-trait",
  "bitflags 1.3.2",
@@ -1615,7 +1615,7 @@ dependencies = [
 [[package]]
 name = "mbedtls-platform-support"
 version = "0.3.0"
-source = "git+https://github.com/nspin/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
+source = "git+https://github.com/coliasgroup/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
 dependencies = [
  "cc",
  "cfg-if",
@@ -1629,7 +1629,7 @@ dependencies = [
 [[package]]
 name = "mbedtls-sys-auto"
 version = "3.5.0-alpha.3+0b3de6f"
-source = "git+https://github.com/nspin/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
+source = "git+https://github.com/coliasgroup/rust-mbedtls?tag=keep/6eef662dbf636d1ccf86078143b6854f#6eef662dbf636d1ccf86078143b6854f97469dd6"
 dependencies = [
  "bindgen 0.65.1",
  "cc",
diff --git a/crates/examples/microkit/http-server/pds/server/core/Cargo.toml b/crates/examples/microkit/http-server/pds/server/core/Cargo.toml
index f87a235c8..507153020 100644
--- a/crates/examples/microkit/http-server/pds/server/core/Cargo.toml
+++ b/crates/examples/microkit/http-server/pds/server/core/Cargo.toml
@@ -20,7 +20,7 @@ sel4-async-timers = { path = "../../../../../../sel4-async/timers" }
 sel4-panicking-env = { path = "../../../../../../sel4-panicking/env" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps"]
diff --git a/crates/private/tests/root-task/mbedtls/Cargo.toml b/crates/private/tests/root-task/mbedtls/Cargo.toml
index b3c893519..1abc7ce38 100644
--- a/crates/private/tests/root-task/mbedtls/Cargo.toml
+++ b/crates/private/tests/root-task/mbedtls/Cargo.toml
@@ -12,18 +12,18 @@ sel4-logging = { path = "../../../../sel4-logging" }
 sel4-root-task = { path = "../../../../sel4-root-task" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps", "debug"]
 
 [dependencies.mbedtls-platform-support]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 
 [dependencies.mbedtls-sys-auto]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 
diff --git a/crates/sel4-async/network/mbedtls/Cargo.toml b/crates/sel4-async/network/mbedtls/Cargo.toml
index e5c7bf9e3..464f3b6c9 100644
--- a/crates/sel4-async/network/mbedtls/Cargo.toml
+++ b/crates/sel4-async/network/mbedtls/Cargo.toml
@@ -13,7 +13,7 @@ sel4-async-network = { path = ".." }
 sel4-async-network-mbedtls-mozilla-ca-list = { path = "./mozilla-ca-list" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps"]
diff --git a/hacking/nix/scope/generated-cargo-manifests/default.nix b/hacking/nix/scope/generated-cargo-manifests/default.nix
index f936b4996..ccc4af345 100644
--- a/hacking/nix/scope/generated-cargo-manifests/default.nix
+++ b/hacking/nix/scope/generated-cargo-manifests/default.nix
@@ -107,8 +107,8 @@ let
       };
 
       mbedtlsSource = {
-        git = "https://github.com/nspin/rust-mbedtls";
-        tag = "keep/6eef662dbf636d1ccf86078143b6854f";
+        git = "https://github.com/coliasgroup/rust-mbedtls";
+        tag = "keep/6eef662dbf636d1ccf86078143b6854f"; # branch sel4
       };
 
       mbedtlsWith = features: filterOutEmptyFeatureList (mbedtlsSource // {