Re: ppc64el porterbox replacement: plummer.d.o -> platti.d.o
* Johannes Schauer Marin Rodrigues , 2022-10-24 06:40: this is the first time I hear about $arch-porterbox.debian.net. This is super cool! When was that announced Not sure if that counts as an announcement, but jamessan blogged about it back in 2015: https://jamessan.com/~jamessan//posts/porterbox-logins/ and who maintains it? Nobody... Oh, you mean who owns the DNS records? That would be me. I haven't done any porting work for years, so I would be glad if someone more active took over these records. -- Jakub Wilk
Re: ppc64el porterbox replacement: plummer.d.o -> platti.d.o
Hi, On 24.10.22 06:40, Johannes Schauer Marin Rodrigues wrote: Quoting David Bremner (2022-10-22 18:16:12) Aurelien Jarno 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 (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
Re: ppc64el porterbox replacement: plummer.d.o -> platti.d.o
Hi, Quoting David Bremner (2022-10-22 18:16:12) > Aurelien Jarno 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