[libre-riscv-dev] Cannot push to sv2nmigen.git

[Tobias Platen]

I've fixed a first bug in sv2nmigen.git and wanted to push my changes.

git config --get remote.origin.url
ssh://gitolite3@git.libre-riscv.org:922/sv2nmigen.git
git push
FATAL: W any sv2nmigen tobias DENIED by fallthru
(or you mis-spelled the reponame)
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Tobias Platen