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? thanks, greg k-h
