> > With the move of kullervo and crest, crest.debian.org and > > m68k.debian.org no longer resolve to anything. Should we punt these > > addresses or fix them? > > As I understood Christian, Debian was looking for new hosting facilities and > the hosting behind the DSL (dynamic IPs) will only be temporarily until new > places are found. Correct. So the IP numbers will have to change sometime, once we have new hosting, but I wont promise that this will be possible this year...
Either way, let's fix the DNS - and keep the TTL low so a change will be instantaneous. I'm just wondering if there is a way to redirect DNS queries for crest to a dyndns service without the debian.org DNS getting involved in dynamic DNS itself ... Michael