hello, I'd like to have a mirror of gentoo-riscv overlay[1] at github.com[2]. The motivation here is that we'd like to have a riscv overlay as staging area, so users can coordinate with each other and also contribute via github. [1] https://anongit.gentoo.org/git/proj/riscv.git [2] https://github.com/gentoo/riscv [MIRROR] gentoo riscv overlay Reproducible: Always
Done. Please push into proj/riscv to trigger mirroring and lemme know whether it worked. I don't recall if 'empty' push (i.e. with no changes) suffices, or alternatively create a temporary branch or sth.
it works, thanks!
