[libre-riscv-dev] sorry state of ieee754fpu repo -- CI desperately needed

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Apr 6 11:39:30 BST 2020

On Mon, Apr 6, 2020 at 1:59 AM Jacob Lifshay <programmerjake at gmail.com> wrote:

> Luke, do note that we are currently relying on the combination of
> github and debian salsa to host Kazan's source code, so if they both
> kick us out, we'd have to move all the source. We could probably add
> some more mirrors using the above git-mirroring script since due to
> your selection of port 922 instead of port 22 for ssh, gitlab doesn't
> support push mirroring to libre-riscv.org.

blech.  maybe time to move to port 22.


More information about the libre-riscv-dev mailing list