Fwd: Could not resolve hostname lemon.debian.net: Name or service not known

-------- Vidarebefordrat meddelande --------
Från: Mattias Ellert <[email protected]>
Till: [email protected]
Ämne: Could not resolve hostname lemon.debian.net: Name or service not
known
Datum: Sun, 29 Nov 2020 07:26:23 +0100

Hi!

I maintain a newly accepted package in Debian that needs porting to
kfreebsd. On the list of Developer Machines:

https://db.debian.org/machines.cgi?sortby=purpose&sortorder=dsc

there is one kfreebsd-amd64/kfreebsd-i386 porterbox, which is
lemon.debian.net. However, this seems not to be running.

$ ssh lemon.debian.net 
ssh: Could not resolve hostname lemon.debian.net: Name or service not
known

What is the status of this machine? Or is there an alternative
available?

        Mattias