From be58b627b2387a29d8a1543aa90c2d0302d8578b Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Sun, 21 Oct 2018 00:35:28 +0200 Subject: [PATCH] Upgrade typeshed --- .gitmodules | 2 +- jedi/third_party/typeshed | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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