From 9806534dd8bc86ec882f1b36ea313eb6e6ad9f5b Mon Sep 17 00:00:00 2001
From: Julian Gonggrijp <j.gonggrijp@uu.nl>
Date: Tue, 1 Aug 2023 14:07:32 +0200
Subject: [PATCH] Use https:// url instead of git:// for shFlags submodule

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

diff --git a/.gitmodules b/.gitmodules
index 85665678e..ab7203eb2 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "shFlags"]
 	path = shFlags
-	url = git://github.com/nvie/shFlags.git
+	url = https://github.com/nvie/shFlags.git