From a2320d2d9d0a9597bfc5140d297bab1116a47330 Mon Sep 17 00:00:00 2001
From: Robert <robert.styla@gmail.com>
Date: Sat, 19 Aug 2017 21:21:20 +0200
Subject: [PATCH] Prevent potential firewall problem with git clone (#3094)

The better solution might well be to do this locally, using either

```
git config --global url."https://".insteadOf git://
```

or

```
git config --global url."https://github.com".insteadOf git://github.com
```

However, we don't live in an ideal world so this commit intends to lower the barrier to entry.

See https://stackoverflow.com/questions/16298986/unable-to-connect-to-github-com-for-cloning for more information.
---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 4bf64b611..f2302652c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "koreader-base"]
 	path = base
-	url = git://github.com/koreader/koreader-base.git
+	url = https://github.com/koreader/koreader-base.git
 [submodule "platform/android/luajit-launcher"]
 	path = platform/android/luajit-launcher
 	url = https://github.com/koreader/android-luajit-launcher.git