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.
This commit is contained in:
Jake Hillion 2022-12-28 05:24:43 -08:00 committed by Jake Hillion
parent 2dc5479c32
commit 1c3ee5bf6b
2 changed files with 7 additions and 7 deletions

12
.gitmodules vendored
View File

@ -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

2
extern/drgn vendored

@ -1 +1 @@
Subproject commit 204c257b26788f0dd3913486bbb16f85053db0fd
Subproject commit 4a5b6279798c5625f68382baaba5f565aa798830