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

[Luke Kenneth Casson Leighton]

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

> 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