From 590aed32c0ffa8caec461e19a22a905a8b262ac9 Mon Sep 17 00:00:00 2001 From: Tim Waugh Date: Tue, 26 Aug 2025 21:36:45 +0100 Subject: [PATCH] Get gnulib from github.com (faster, more reliable) Suggestion from @hhoffstaette --- gnulib-update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnulib-update.sh b/gnulib-update.sh index 2704e5a3..f32196b1 100755 --- a/gnulib-update.sh +++ b/gnulib-update.sh @@ -3,7 +3,7 @@ # Run this when you want to update to newer gnulib versions echo "Updating gnulib modules..." -git clone --depth 1 https://git.savannah.gnu.org/git/gnulib.git /tmp/gnulib-update +git clone --depth 1 https://github.com/coreutils/gnulib.git /tmp/gnulib-update /tmp/gnulib-update/gnulib-tool --update rm -rf /tmp/gnulib-update echo "Gnulib updated. Please test and commit."