On Thu, Oct 05, 2017 at 11:32:03AM -0700, Vagrant Cascadian wrote: > Control: reopen 877790 > Control: tags 877790 patch
Thanks for the metadata fixing (and the clone/retitle etc) > 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 Thanks, I will take care of merging this and doing all the needed steps tomorrow (unless Holger beats me to it, of course :)) > 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. Whilst that might be true, the case before was possibly even worse, as the same hostname/IP had a different key. Regarding munin: don't worry about it, renaming an host is really a pieace of cake. -- regards, Mattia Rizzolo GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`. more about me: https://mapreri.org : :' : Launchpad user: https://launchpad.net/~mapreri `. `'` Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature