Dear db.debian.org keepers, The Debian machine list at https://db.debian.org/machines.cgi says that sh4.g15.jp is down (moving) but sumotsu.debian.net is available. But sumotsu is not accepting connections. https://wiki.debian.org/SH4 says no porterboxes are available. On IRC chat #debian-ports, they suggested that Nobuhiro Iwamatsu wasn't providing porter access on sumotsu anymore, and sh4.g15.jp has been offline for a long time. The contact email for the machines, sh4-porterbox-admin@superh.org, bounces. The superh.org domain no longer exists. Should the machines database on db.debian.net be updated to remove sh4.g15.jp and sumotsu.debian.net ? Cheers, Drew
Attachment:
signature.asc
Description: This is a digitally signed message part