ThingDoc submodule points to prusajr repo, where it doesn't exist

[mohag]

Error when trying to pull it in:
$ git submodule update --recursive --init
Submodule 'thingdoc' ([email protected]:prusajr/ThingDoc.git) registered for path 'thingdoc'
Cloning into 'thingdoc'...
ERROR: Repository not found.
fatal: The remote end hung up unexpectedly
Clone of '[email protected]:prusajr/ThingDoc.git' into submodule path 'thingdoc' failed

[furkanmustafa]

same here, had to edit .git/config and .gitmodules manually, changed remote url to "https://github.com/josefprusa/ThingDoc.git"

Proper patch would be this I think;

diff --git a/.gitmodules b/.gitmodules
index a8a90dd..7cc1378 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "thingdoc"]
        path = thingdoc
-       url = [email protected]:prusajr/ThingDoc.git
+       url = https://github.com/josefprusa/ThingDoc.git