[libre-riscv-dev] About US

[Jacob Lifshay]

On Mon, Feb 3, 2020, 00:22 Immanuel, Yehowshua U <yimmanuel3 at gatech.edu>
wrote:

> Also - I can’t push upstream… :(
>
> I pulled via
>
> ``git clone https://git.libre-riscv.org/git/libreriscv.git``
> <https://git.libre-riscv.org/git/libreriscv.git><
> https://git.libre-riscv.org/git/libreriscv.git%60%60>
>

you need to change the url git uses to the ssh version:
git remote set-url origin ssh://
gitolite3 at git.libre-riscv.org:922/libreriscv.git

Jacob