* MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the
git repository server.
+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.
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