Temporary maintenance of repo.jing.rocks (2025-08-13~)

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)

--=_b761a35e43ad127da56917617bfd1d20
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=US-ASCII;
 format=flowed

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,