[libre-riscv-dev] ikiwiki gitolite3 mess (libre-riscv.org)

[Luke Kenneth Casson Leighton]

ok i believe i resolved the mess that had been stopping ikwiki from
being editable via the git repo and the web interface, they were out
of sync.  i had copied a config from another machine that had some old
gitolite (not gitolite3) commit hooks, causing synchronisation to
fail.

daniel i *believe* i managed to recover the edits it appears you made
(or, someone named "DB" from the web interface) to the spike_sv page:
https://libre-riscv.org/3d_gpu/spike_sv/

if you'd like to review them and make sure?

l.