diff --git a/.gitmodules b/.gitmodules index 9e33f4be..f8727fff 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "jedi/third_party/typeshed"] path = jedi/third_party/typeshed - url = https://github.com/python/typeshed + url = git@github.com:davidhalter/typeshed.git diff --git a/jedi/third_party/typeshed b/jedi/third_party/typeshed index 14fb9df4..0bde5c8a 160000 --- a/jedi/third_party/typeshed +++ b/jedi/third_party/typeshed @@ -1 +1 @@ -Subproject commit 14fb9df49c171fafdcda3c41f9b6f2df33a3a9f5 +Subproject commit 0bde5c8aee39e2aca11673d9c07da2ae6c6ad108