Hi, Quoting David Bremner (2022-10-22 18:16:12) > Aurelien Jarno <aure...@debian.org> writes: > > We lost access to the Power9 machine hosted at Unicamp, which was > > hosting the ppc64el porterbox called plummer.d.o. A new porterbox called > > platti.d.o has been setup as a replacement. > > It would be nifty if someone (TM) would update where > ppc64el-porterbox.debian.net points to.
this is the first time I hear about $arch-porterbox.debian.net. This is super cool! When was that announced and who maintains it? Why is it only on debian.net and not on debian.org? I always use https://db.debian.org/machines.cgi to obtain the mapping from debian architecture to porterbox machine. Maybe that website could inform me that $arch-porterbox.debian.net also exists? Whoever maintains this mapping (thank you!!) should also add it to https://wiki.debian.org/DebianNetDomains and then it would be easy to figure out whom to trigger once an update is necessary. :) Thanks! cheers, josch
signature.asc
Description: signature
