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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat Oct 19 13:53:47 BST 2019

On Saturday, October 19, 2019, Tobias Platen <hacks2019 at platen-software.de>

> 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.

Apologies I will need to set up my laptop in order to get access to
gitolite3 config.

Later today.

crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

More information about the libre-riscv-dev mailing list