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

Author: bhaible

.github/workflows/many-platforms.yml

@@ -41,9 +41,6 @@ on:
 # Variables.
 env:
   package: diffutils
-  # 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

@@ -23,9 +23,11 @@ package="$1"
 
 set -e
 
+. ./init-git.sh
+
 # Fetch sources (uses package 'git').
-git clone --depth 1 https://https.git.savannah.gnu.org/git/"$package".git
-git clone --depth 1 "${gnulib_url}"
+git clone --depth 1 https://git.savannah.gnu.org/git/"$package".git
+git clone --depth 1 https://git.savannah.gnu.org/git/gnulib.git
 export GNULIB_SRCDIR=`pwd`/gnulib
 
 # 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