11:55 <davidlt[m]> Yes, will be up once we are fully up on a new server.

11:55 <davidlt[m]> rwmjones|HOLS: if you need RPMs or something, all should be available on dl.fedoraproject.org

12:07 <rwmjones|HOLS> ok thanks!

12:09 <rwmjones|HOLS> it's here https://dl.fedoraproject.org/pub/alt/risc-v/ ?

12:09 <davidlt[m]> Technically the server is up, just httpd/postresql/gitea/kojid/kojira/etc are powered off while I was copying the data to a new server.

12:09 <davidlt[m]> Yes

12:09 <rwmjones|HOLS> ok

12:09 <davidlt[m]> That contains latest disk images (incl. via virt-builder), full repo for F37 (incl. SRPM and debuginfo).

12:10 <davidlt[m]> All you need to run it :)

12:10 <rwmjones|HOLS> ah ok I've fonud them now:

12:10 <rwmjones|HOLS> https://dl.fedoraproject.org/pub/alt/risc-v/repo/fedora/

12:10 <davidlt[m]> While I mess with server migration (which happens every 2-3 years :/)

12:10 <rwmjones|HOLS> I guess we should delete (or rename) those RPMS and SRPMS dirs in the top level :-)

12:10 <rwmjones|HOLS> sure, no probs, happy christmas

12:11 <davidlt[m]> Those are old backups from 2018 IIRC.

12:11 <rwmjones|HOLS> yup

12:12 <davidlt[m]> That's the stuff we copied from your servers to kickstart Koji IIRC. In some rare cases I use them to investigate things.

12:12 <davidlt[m]> Like what did we do X years ago to fix something.

12:13 <davidlt[m]> We have preserved full history so far since the beginning of Fedora/RISCV.

12:14 <davidlt[m]> I guess this "baggage" will go away once we move to Fedora infra :)