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

[Luke Kenneth Casson Leighton]

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.

l.