On Wed, Jun 25, 2025 at 04:20:16PM +0200, Xose Vazquez Perez wrote:
replace https: with git:, delete trailing /, and identify repos as "git"
This bypasses the mirror systems in place with the https: protocol,
please do not do this without a lot of justification and agreement of
the hosting providers involved as they will have a large increase in
resources if this were to change.
Have you asked them if this is ok to change? What is wrong with the
current urls listed here?