From 1c3ee5bf6b79676bce4155284f3723de42b2227e Mon Sep 17 00:00:00 2001 From: Jake Hillion Date: Wed, 28 Dec 2022 05:24:43 -0800 Subject: [PATCH] move extern repos to https addresses The extern repos are currently cloned with SSH. This means that attempting to clone them on a system that doesn't have an SSH key which GitHub accepts fails. Change them to HTTPS as they're read only anyway. --- .gitmodules | 12 ++++++------ extern/drgn | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.gitmodules b/.gitmodules index 81d9eb85..9a6a4861 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,9 @@ [submodule "extern/drgn"] - path = extern/drgn - url = git@github.com:JakeHillion/drgn.git + path = extern/drgn + url = https://github.com/JakeHillion/drgn.git [submodule "extern/folly"] - path = extern/folly - url = git@github.com:jgkamat/folly.git + path = extern/folly + url = https://github.com/jgkamat/folly.git [submodule "extern/rocksdb"] - path = extern/rocksdb - url = git@github.com:facebook/rocksdb.git + path = extern/rocksdb + url = https://github.com/facebook/rocksdb.git diff --git a/extern/drgn b/extern/drgn index 204c257b..4a5b6279 160000 --- a/extern/drgn +++ b/extern/drgn @@ -1 +1 @@ -Subproject commit 204c257b26788f0dd3913486bbb16f85053db0fd +Subproject commit 4a5b6279798c5625f68382baaba5f565aa798830