* Johannes Schauer Marin Rodrigues <jo...@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
