From: Quentin Schulz <[email protected]> GNU announced they activated mirrors for git servers[1] in May this year.
The main git server keeps being very unreliable and switching to those mirrors seems to improve reliability (albeit somewhat slow). Yes, the URL in this patch has nothing in common with the URL in the linked mail, it was extracted from the Clone section in the mirrored cgit page[2]. While at it, switch to the HTTPS clone which is "more secure" than git protocol. [1] https://lists.gnu.org/archive/html/savannah-users/2025-05/msg00002.html [2] https://cgit.git.savannah.gnu.org/cgit/grub.git/ Signed-off-by: Quentin Schulz <[email protected]> --- tools/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 2dc4bec33bb..34713c5e8b2 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -148,7 +148,7 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \ zip # Build GRUB UEFI targets for ARM & RISC-V, 32-bit and 64-bit -RUN git clone git://git.savannah.gnu.org/grub.git /tmp/grub && \ +RUN git clone https://https.git.savannah.gnu.org/git/grub.git /tmp/grub && \ cd /tmp/grub && \ git checkout grub-2.12 && \ git config --global user.name "GitLab CI Runner" && \ -- 2.51.1
