[libre-riscv-dev] extremely busy crowdsupply update started

[Luke Kenneth Casson Leighton]

On Wed, Apr 1, 2020 at 11:08 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:

>>
>> Sorry it turns out I don't have push access to the crowdsupply repo.
>> Luke, may I request push access to the crowdsupply repo.
>
>
> ok.


done just edit the .git/config file change the url to one that
includes gitolite3.

>>
>> I remember that
>> in an email a few days ago you told I should give you a name for the
>> repo I want created for the environment setup scripts. Can you create
>> and also grant me push access to a repository named dev-env-setup?


done also.

l.