diff --git a/.gitmodules b/.gitmodules index 81d9eb8..9a6a486 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 204c257..4a5b627 160000 --- a/extern/drgn +++ b/extern/drgn @@ -1 +1 @@ -Subproject commit 204c257b26788f0dd3913486bbb16f85053db0fd +Subproject commit 4a5b6279798c5625f68382baaba5f565aa798830