tree 5588a6c09cf9d40b9faef9cf917d0aba2a30043c
parent a6d8b39959427e4f7e922f7dc095687e07a0caaa
author Serge Bazanski <serge@monogon.tech> 1680528267 +0200
committer Serge Bazanski <serge@monogon.tech> 1680534585 +0000

third_party/sandboxroot: add mirror tool

This mirrors the sandbox RPMs into a GCS bucket any time we regenerate
it. Hopefully this stops the constant barrage of random 404s when Fedora
just happened to bump a library and all the mirrors lost its previous
version.

This tool is currently specific to our bazeldnf-based sandboxroot setup,
but could be extended to mirror all of our dependencies at some point.

As our mirror is the last in the list, it should only be used when a
file is missing from other mirrors. In the future, we should have some
job that alerts us when too many of our deps are missing from upstream
mirrors.

Change-Id: I08ccbdf99ec868363918e30f3d2ae94f463e045f
Reviewed-on: https://review.monogon.dev/c/monogon/+/1473
Tested-by: Jenkins CI
Reviewed-by: Leopold Schabel <leo@monogon.tech>