On Mon, Jan 27, 2020 at 8:39 AM Jacob Lifshay <programmerjake at gmail.com> wrote: > Did you mean: git clone ssh://gitolite3@git.libre-riscv.org:922/ieee754fpu.git *sottovoice* yerrs.. :)