Back from https.git.savannah.gnu.org to less loaded git.savannah.gnu.org.

Author: bhaible

.github/workflows/many-platforms.yml

@@ -42,7 +42,7 @@ on:
 env:
   package: diffutils
   # URL suitable for 'git clone'
-  #gnulib_url: https://https.git.savannah.gnu.org/git/gnulib.git
+  #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=

build-tarball.sh

@@ -24,7 +24,7 @@ package="$1"
 set -e
 
 # Fetch sources (uses package 'git').
-git clone --depth 1 https://https.git.savannah.gnu.org/git/"$package".git
+git clone --depth 1 https://git.savannah.gnu.org/git/"$package".git
 git clone --depth 1 "${gnulib_url}"
 export GNULIB_SRCDIR=`pwd`/gnulib