On Wed, Jan 5, 2022 at 1:03 PM Daniel Sahlberg <daniel.l.sahlb...@gmail.com> wrote: > > Den ons 5 jan. 2022 kl 16:22 skrev Nathan Hartman <hartman.nat...@gmail.com>: >> So, I think it might be a good idea to revert this change and let >> Infra manage how they supply those arrays; if it seems as though >> they're providing an incorrect listing, it should be fixed on their >> end because that will affect all projects, not just Subversion. > > > Done, in r1896725.
Thanks! >> The removal of "You may consult the complete list of mirrors" link >> should *not* be reverted. That page is now a 404. > > > That was a separate commit (for easy reverting :-) ). > > I think we should now merge staging => publish, everything looks good to me. > Do you want to check and do the honors? Sure. I will check it one more time in the morning and then do it... Cheers, Nathan