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

[Jacob Lifshay]

the solution is to use ssh://gitolite3@git.libre-riscv.org:922/soc.git

On Sun, Jul 21, 2019 at 1:23 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> 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.
>
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev