mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-17 17:21:26 +08:00
Cloning typeshed should be possible without git write access
This commit is contained in:
1 parent
33b73d7fbc
commit
9d3043ee39
1 file changed
+1
-1
+1
-1
@@ -1,3 +1,3 @@
|
|||||||
[submodule "jedi/third_party/typeshed"]
|
[submodule "jedi/third_party/typeshed"]
|
||||||
path = jedi/third_party/typeshed
|
path = jedi/third_party/typeshed
|
||||||
url = git@github.com:davidhalter/typeshed.git
|
url = https://github.com/davidhalter/typeshed.git
|
||||||
Reference in new issue
Block a user