.gitmodules: switch to HTTPS

HTTPS is not only encrypted but also better suited for corporate
firewalls. Let's use it to clone submodules.
Copyright-paperwork-exempt: yes

diff --git a/.gitmodules b/.gitmodules
index 1dc373de8e2cfaab37651133f585c0867a5f3da3..a06c70c762a354434df3e2fc2911bd202eb6a742 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "gnulib"]
        path = gnulib
-       url = git://git.sv.gnu.org/gnulib.git
+       url = https://git.savannah.gnu.org/git/gnulib.git
 [submodule "paxutils"]
        path = paxutils
-       url = git://git.sv.gnu.org/paxutils.git
+       url = https://git.savannah.gnu.org/git/paxutils.git