build: Make CI's git hostname rewriting rules apply.

* .gitmodules: Canonicalize savannah host name.

diff --git a/.gitmodules b/.gitmodules
index acb26693d20d356a68ed43704e921449d43168b5..009ae439e17f5a7d068ab9c2eeb06851c175f255 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "gnulib"]
        path = gnulib
-       url = git://git.sv.gnu.org/gnulib.git
+       url = git://git.savannah.gnu.org/gnulib.git