[Debian-ports-devel] buildd.debian-ports.org merged onto buildd.debian.org

[Michael Cree]

On Thu, Aug 20, 2015 at 10:48:15AM +0200, Aurelien Jarno wrote:
> On the build daemons side, we have also transfered the SSH keys, but
> the configuration need some small changes for the following
> configuration entries:
> 
>     wanna_build_ssh_host => "buildd.debian.org",
>     wanna_build_ssh_user => "wb-buildd",
>     wanna_build_ssh_socket => 'buildd.debian.org.ssh',
>     wanna_build_db_user => "buildd_ARCH-BUILDD",
>     logs_mailed_to => 'logs at buildd.debian.org',

Do we also have to update the dupload config?  I am guessing it should
no longer point to ftp.debian-ports.org ?

Cheers
Michael.