[PATCH next v2 0/3] CI: use mirrors for GNU tools

[Tom Rini]

On Thu, 27 Nov 2025 14:29:25 +0100, Quentin Schulz wrote:

> I have to add one (1) package to the Dockerfile as a new dependency and
> wanted to build the image to verify it works. I wasn't able to because
> GNU servers are just not reliable at all.
> 
> The git server URL we're using doesn't seem to be a mirrored one, and
> switching to mirror URLs seem to make fetching possible again.
> 
> [...]

Applied to u-boot/next, thanks!

[1/3] CI: use GNU mirror for grub (and switch to HTTPS)
      commit: e0c72161710e3df45ed41302643b20952528eb4d
[2/3] CI: use mirror for gnulib dependency of grub
      commit: 93316f15339d6b696f58a0ef99b057bd45b76c2b
[3/3] CI: use coreboot mirror for GNU dependencies of coreboot
      commit: 6e39395a1869d9fb850e5bf5e9ba2da4663ac873
-- 
Tom