Hello Tobias, > > As an aside, I notice there is now a new "bayfront.guix.gnu.org" > > server. > > bayfront has been public sinc 2016..2017?, but it was recently exposed > through a second hostname, bordeaux.guix.gnu.org. That's the name that > should be used if added. > > > Not sure if I should modify this patch or not to add it or whatever. > > I don't see why not! It's the only Guix-hosted substitute server after > ci.guix.gnu.org, and has the advantage of not being a mere mirror. >
If I add it, does this actually increase the chances the patch will get in or not? Note that the current Substitute Mirrors Page system allows to select only one set of substitutes. Mathieu was mentioning the ability to have a more complex Substitute Mirrors Page that allows to set up substitute servers in arbitrary order and so on, but I considered that it would be easier to implement a simple "just select one of these sets of substitutes" and hoped it would mean the patch gets in earlier rather than later. In any case, it looks to me that bordeaux is already in `%default-substitute-mirrors`, which this patch uses, so it should get included anyway as a fallback in case the SJTU mirror is not available or something. So maybe the patch is OK as-is? Thanks raid5atemyhomework
