Hi,
On 24.10.22 06:40, Johannes Schauer Marin Rodrigues wrote:
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. :)
Looks like it's Jakub:
pkern@master ~ % ldapsearch -x 'dnsZoneEntry=ppc64el-porterbox*' uid
# extended LDIF
#
# LDAPv3
# base <dc=debian,dc=org> (default) with scope subtree
# filter: dnsZoneEntry=ppc64el-porterbox*
# requesting: uid
#
# jwilk, users, debian.org
dn: uid=jwilk,ou=users,dc=debian,dc=org
uid: jwilk
Kind regards
Philipp Kern
