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

[Michael Cree]

On Thu, Aug 20, 2015 at 09:01:53PM +1200, Michael Cree wrote:
> 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 ?

Just woken up to the fact that it is only wb that has been shifted.  So
no need to worry about the dupload config (or the apt sources file in
the chroots).

Cheers
Michael.