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

[Luke Kenneth Casson Leighton]

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:

~/.ssh/config:

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

l.