[Libre-soc-dev] removed all gitolite3 write access to wiki git repo

[Jacob Lifshay]

On Sat, Jul 16, 2022, 04:40 Luke Kenneth Casson Leighton via Libre-soc-dev <
libre-soc-dev at lists.libre-soc.org> wrote:

> i leave it with you to coordinate contacting the following team
> members to ensure that they have the correct git revision such
> that further damage to the wiki git repository does not occur:
>

If you have not `git pull`-ed libreriscv.git recently (since Thursday July
14), please let us know so we can reinstate your git push rights.

If you've `git pull`-ed libreriscv.git recently, please run the following
command in your libreriscv.git repo:
git branch --contains 7c27fd922fbdf8577854f3146a46c61bc36b05f7

If it returns:
error: no such commit 7c27fd922fbdf8577854f3146a46c61bc36b05f7
please let us know so we can reinstate your git push rights.

if it returns something other than:
error: no such commit 7c27fd922fbdf8577854f3146a46c61bc36b05f7
then you'll need to either replace your master branch with the upstream
master (if you haven't made any commits after Thursday) or rebase your
master branch onto the upstream master, removing the deleted commits:
7c27fd922fbdf8577854f3146a46c61bc36b05f7
8cbbc8fc183b6252976ef86004d43728fc6b6d45

I can help walk you through that if you need it.

Jacob