From b38e4eff2bec46de7976581ad0c73cf2fb6e73be Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 11 Dec 2018 19:38:09 +0000
Subject: [PATCH] gnulib: Use https URL instead of git.

This is apparently more secure (against MITM attacks), and furthermore
Savannah git: access is broken at the moment.
---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 7acb1ea19..f8d0cf321 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "gnulib"]
 	path = .gnulib
-	url = git://git.sv.gnu.org/gnulib.git
+	url = https://git.savannah.gnu.org/git/gnulib.git