Work on build-tarball: Refactor customization of git URLs.

Author: bhaible

.github/workflows/many-platforms.yml

@@ -41,9 +41,6 @@ on:
 # Variables.
 env:
   package: inetutils
-  # URL suitable for 'git clone'
-  #gnulib_url: https://git.savannah.gnu.org/git/gnulib.git
-  gnulib_url: https://github.com/coreutils/gnulib.git
   # URL prefix suitable for downloading individual files through 'wget'
   #gnulib_url_prefix: https://gitweb.git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;hb=HEAD;f=
   gnulib_url_prefix: https://raw.githubusercontent.com/coreutils/gnulib/refs/heads/master/

build-tarball.sh

@@ -29,11 +29,13 @@ newest_gnulib=$(expr $(date +%j) % 2)
 
 set -e
 
+. ./init-git.sh
+
 # Fetch sources (uses package 'git').
 # No '--depth 1' here, to avoid an error "unknown revision" during gen-ChangeLog.
-git clone https://https.git.savannah.gnu.org/git/"$package".git
+git clone https://git.savannah.gnu.org/git/"$package".git
 if test $newest_gnulib = 1; then
-  git clone --depth 1 "${gnulib_url}"
+  git clone --depth 1 https://git.savannah.gnu.org/git/gnulib.git
 fi
 
 # Apply patches.

init-git.sh

@@ -0,0 +1,8 @@
+# Mapping from canonical git server URLs to more efficient read-only mirrors.
+# See
+# https://git-scm.com/docs/git-config#Documentation/git-config.txt-urlltbasegtinsteadOf
+# https://git-scm.com/docs/git-clone#_git_urls
+git config set --global --append url.git://git.git.savannah.gnu.org/.insteadOf git://git.savannah.gnu.org/
+git config set --global --append url.https://https.git.savannah.gnu.org/git/.insteadOf https://git.savannah.gnu.org/git/
+git config set --global --append url.https://github.com/coreutils/gnulib.git.insteadOf git://git.savannah.gnu.org/gnulib.git
+git config set --global --append url.https://github.com/coreutils/gnulib.git.insteadOf https://git.savannah.gnu.org/git/gnulib.git