[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