Hello all, The software mirror site repo.jing.rocks (established in 2023) will have a temporary maintenance starting from 2025-08-13. The end date is unknown; it could last for months. The servers will be relocated. They are hosted at my home, so they come with me when I move, and moving is just a part of life. That's why the downtime is so long: the internet line is not yet set up at the new home and no one really knows how long it will take (maybe NTT east Japan knows?), or the worst case scenario, if the fiber line will be set up at all, because one ISP may refuse due to that the building is too old. Please use another upstream for now if you have been using repo.jing.rocks as your upstream. Once the dust settles, the IP addresses will change and I will notify (upstream push mirrors, etc.) as needed. For most projects/distros there is no need to take repo.jing.rocks down from the mirror list. Sorry for the inconvenience. Oh btw: as some of you know and can tell from my gpg keys, my legal name has been changed from "Jing Luo" (birth name) to "Lucas Yasuda" (preferred name) following my naturalization to become a Japanese citizen. Also, please do NOT "Reply All" to this email; only put my email address in To and one (1) relevant mailing list in Cc. Cheers, -- Luke Yasuda About me: https://jing.rocks/about/ GPG Fingerprint: 4E09 8D19 00AA 3F72 1899 2614 09B3 316E 13A1 1EFC