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