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

Tobias Platen hacks2019 at platen-software.de
Sat Oct 19 08:08:45 BST 2019


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



More information about the libre-riscv-dev mailing list