[libre-riscv-dev] Just reading the spec again

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sun Jul 21 09:15:54 BST 2019

ok superb, i've added the key you sent me.  there' a trick (that i
can't recall) to cloning ssh repos that are on non-standard ports, i
"solve" it like this:


Host git.libre-riscv.org
    Port 922

then if you've already used the (public, http) git daemon, you can
edit soc/.git/config and change one line:

[remote "origin"]
   url = gitolite3 at git.libre-riscv.org:soc.git


More information about the libre-riscv-dev mailing list