Hi,

for some time now, there are issues when cloning certain repos from
git.replicant.us and it's impossible to do a full repo sync without
manually fetching certain repos over ssh. And ssh access requires an
account.

I set up a mirror of all the needed source code repos at
https://replicantmirror.fossencdi.org/.
By changing the init command from
"../tools/repo init -u https://git.replicant.us/replicant/manifest.git -b 
replicant-4.2"
to
"../tools/repo init -u https://replicantmirror.fossencdi.org/manifest -b 
replicant-4.2"
everything should work.
The mirror could also provide an alternative to users that experience
issues with the CAcert certificate.

Would it be ok to add a hint in the wiki at [1], so users are aware of
the mirror? I can also make the change myself if it's ok.

A small change in the manifest was needed to make the mirror work. I
will send the patch in a separate mail. The change should make it
possible to host the source code at arbitrary places without the need to
change the manifest.

Best regards,
Wolfgang

[1] https://redmine.replicant.us/projects/replicant/wiki/ReplicantSourceCode

-- 
Website: https://fossencdi.org
OpenPGP: 0F30 D1A0 2F73 F70A 6FEE  048E 5816 A24C 1075 7FC4
Key download: https://wiedmeyer.de/keys/ww.asc

Attachment: signature.asc
Description: PGP signature

_______________________________________________
Replicant mailing list
Replicant@lists.osuosl.org
http://lists.osuosl.org/mailman/listinfo/replicant

Reply via email to