Control: reopen 877790 Control: tags 877790 patch On 2017-10-05, Vagrant Cascadian wrote: > On 2017-10-02, Mattia Rizzolo wrote: >> On Mon, Oct 02, 2017 at 10:33:37AM -0700, Vagrant Cascadian wrote: >>> On 2017-10-02, Mattia Rizzolo wrote: >>> > I've already run init_node, so what's left to do would be to IMHO rename >>> > all occourrence of odxu4 to odxu4a (including dns) and then run >>> > update_jdn again. Sadly I don't have the time for all of this right >>> > now. >>> >>> I can update DNS and propose a patch for jenkins git. >> >> tbh, I'd prefer that, making things just a tad more uniform. >> I can take care of creating/delating jobs without problem. > > Ok, will try to follow up on this soon...
Added odxu4a-armhf-rb.debian.net to DNS. Branch for jenkins.debian.net "odxu4-to-odxu4a" available at: https://anonscm.debian.org/cgit/users/vagrant/jenkins.debian.net.git/log/?h=odxu4-to-odxu4a Due to the change of public hostname, this will require updating the host keys used on jenkins and on your machines used to log in. live well, vagrant
signature.asc
Description: PGP signature
