according to https://git.libre-riscv.org/?p=libreriscv.git;a=shortlog the last modification was in sept 2018. That matches what you get by cloning using https.
(In reply to Jacob Lifshay from comment #0) > according to > https://git.libre-riscv.org/?p=libreriscv.git;a=shortlog > the last modification was in sept 2018. ah good catch. sorted out the symlink for gitweb.