Re: ppc64el porterbox replacement: plummer.d.o -> platti.d.o

[Jakub Wilk <jwilk@jwilk.net>]

* Johannes Schauer Marin Rodrigues <josch@debian.org>, 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