Open sebistenzel opened 2 years ago
Hi @sebistenzel, thanks for the PR.
We're actually in the process of switching away from the repo tool, so we might not want to merge this directly. But we'll make sure to have the right https:// links as part of the new structure.
If you can merge this in the meantime would be helpful
@stez-mind as per today this branch still need to be merged. And I've got a failure while issuing repo sync command. Can you elaborate more on the tool that will eventually substitute google repo? Thanks. Ps: can you merge this PR?
Switch git repositories to https://github.com/ as unencrypted git:// is no longer supported, see https://github.blog/2021-09-01-improving-git-protocol-security-github/.