tree c8ca42dc5fe77d78cca49cb002eeed67de06e743
parent f724ed2be1d3f86159ea83ca41f5f6b0886a69a5
author Tim Windelschmidt <tim@monogon.tech> 1733283525 +0100
committer Tim Windelschmidt <tim@monogon.tech> 1736265541 +0000

workspace: introduce bazel downloader config and replace bazeldnf mirror

This rather small change does rework the way we cache our dependencies
by instructing bazel to fetch everything through a custom proxy. See
//build/mirror_proxy:README.me for more infos.

Closes monogon-dev/monogon#178

Change-Id: Ic671fc8233a1cbf37427bbc96339ea8108310e21
Reviewed-on: https://review.monogon.dev/c/monogon/+/3686
Tested-by: Jenkins CI
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>