Hi Simon, Would you mind if I add your mirror to <https://libreplanet.org/wiki/Group:Guix/Mirrors>?
It used to advertise 'our' 'unofficial' mirror on GitHub, but they since removed (free) synchronisation. And they're GitHub. Kind regards, T G-R Sent on the go. Excuse or enjoy my brevity.
