From 02287d59a1923059f896bb71d5cd00de6d0acff2 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Mon, 17 Apr 2023 13:07:28 +0200
Subject: [PATCH] MODULES.html.sh: Avoid a HTTP redirect.

* MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the
git repository server.
---
 ChangeLog       | 6 ++++++
 MODULES.html.sh | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e190bd90d3..796314bd3b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2023-04-17  Bruno Haible  <bruno@clisp.org>
+
+	MODULES.html.sh: Avoid a HTTP redirect.
+	* MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the
+	git repository server.
+
 2023-04-16  Bruno Haible  <bruno@clisp.org>
 
 	year2038: Add tests.
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 2eeffb690f..0f8294ed56 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -30,7 +30,7 @@ if test $# != 0; then
   case "$1" in
     --git-urls)
       # Generate URLs to the official gnulib git repository.
-      repo_url_prefix='https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f='
+      repo_url_prefix='https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f='
       repo_url_suffix=''
       ;;
   esac
-- 
2.39.5