From 590be640d02ba767ae2acfdd4e7165650c2edf42 Mon Sep 17 00:00:00 2001
From: Tao Su <st498824@antgroup.com>
Date: Mon, 24 Nov 2025 03:15:52 +0000
Subject: [PATCH] Add `gnulib` mirror redirect to improve GRUB build
 reliability

---
 osdk/tools/docker/Dockerfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/osdk/tools/docker/Dockerfile b/osdk/tools/docker/Dockerfile
index 994ec22e9..cca307483 100644
--- a/osdk/tools/docker/Dockerfile
+++ b/osdk/tools/docker/Dockerfile
@@ -105,6 +105,10 @@ RUN wget -O unifont.pcf.gz https://ftp.gnu.org/gnu/unifont/unifont-15.1.04/unifo
     && rm unifont.pcf.gz
 WORKDIR /root/grub
 
+# Use GitHub mirror for `gnulib` to improve connection stability because `git.savannah.gnu.org`
+# repository may have unstable connections.
+RUN git config --global url."https://github.com/coreutils/gnulib".insteadOf "https://git.savannah.gnu.org/git/gnulib"
+
 RUN echo depends bli part_gpt > grub-core/extra_deps.lst \
     && ./bootstrap \
     && ./configure \