From 9d3043ee394d799db4e5bd26961623a52a2236e7 Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Sun, 16 Dec 2018 17:40:41 +0100
Subject: [PATCH] Cloning typeshed should be possible without git write access

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index f8727fff..3ce8ff23 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "jedi/third_party/typeshed"]
 	path = jedi/third_party/typeshed
-	url = git@github.com:davidhalter/typeshed.git
+	url = https://github.com/davidhalter/typeshed.git