]> Savannah Git Hosting - gnulib.git/commitdiff
MODULES.html.sh: Avoid a HTTP redirect.
authorBruno Haible <bruno@clisp.org>
Mon, 17 Apr 2023 11:07:28 +0000 (13:07 +0200)
committerBruno Haible <bruno@clisp.org>
Mon, 17 Apr 2023 11:07:28 +0000 (13:07 +0200)
* MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the
git repository server.

ChangeLog
MODULES.html.sh

index e190bd90d30daf4d9732bde02791fd9ebe413f74..796314bd3b9c80d70d06ae7d30b4e145fbed0a06 100644 (file)
--- 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.
index 2eeffb690f46c8da85db8582fbb919aa5dfa11a8..0f8294ed561389f84a897d0d8f8b527f7b2e66b5 100755 (executable)
@@ -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