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

[Quentin Schulz]

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.

Unfortunately, we don't have the option to do that for coreboot's
dependencies, though we can ask coreboot to download the dependencies
through its own mirror, which we do in this series.

Signed-off-by: Quentin Schulz <quentin.schulz at cherry.de>
---
Changes in v2:
- use GNULIB_URL for bootstrapping grub instead of manually cloning the
  git repo as done in v1,
- added R-b,
- rebased on top of next,
- Link to v1: https://patch.msgid.link/20251121-gnu-mirror-v1-0-548e6cd2665e@cherry.de

---
Quentin Schulz (3):
      CI: use GNU mirror for grub (and switch to HTTPS)
      CI: use mirror for gnulib dependency of grub
      CI: use coreboot mirror for GNU dependencies of coreboot

 tools/docker/Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
base-commit: 4a4871e3dc38f3f771d2713b805e79e6191b4297
change-id: 20251121-gnu-mirror-98bbfa305caa

Best regards,
-- 
Quentin Schulz <quentin.schulz at cherry.de>