Dzahn has submitted this change and it was merged. Change subject: add dsh group "misc-servers" ......................................................................
add dsh group "misc-servers" with (just) all those servers named after chemical elements that are appearing in DNS wmnet. for checking upgrade/kernel status, finding out the ones that are gone, etc. Change-Id: Ie2ee9cf47d8d0de4ed830b4a2b1ea3a3bb406fbc --- A files/dsh/group/misc-servers 1 file changed, 110 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/files/dsh/group/misc-servers b/files/dsh/group/misc-servers new file mode 100644 index 0000000..751a2df --- /dev/null +++ b/files/dsh/group/misc-servers @@ -0,0 +1,110 @@ +alsted +aluminium +amaranth +antimony +argon +arsenic +barium +bayes +boron +brewster +caesium +calcium +capella +carbon +celsus +cerium +chromium +cobalt +constable +copper +dobson +durant +dysprosium +eeden +ekrem +emery +erbium +ersch +erzurumi +europium +fenari +fluorine +formey +gadolinium +gallium +gilman +grosley +gurvin +hafnium +harmon +helium +holmium +hooft +hooper +hume +hydrogen +indium +iodine +iron +kaulen +kuo +lanthanum +lardner +linne +locke +loudon +lutetium +maerlant +magnesium +manutius +marmontel +maurus +mchenry +mexia +multatuli +neodymium +neon +nescio +nickel +niobium +nitrogen +oxygen +palladium +pappas +potassium +praseodymium +professor +promethium +rhodium +rose +rubidium +ruthenium +samarium +sanger +scandium +silicon +silver +slauerhoff +sodium +spence +stafford +streber +strontium +tarin +tellurium +terbium +thulium +tin +tingxi +titanium +tola +tridge +vanadium +williams +xenon +ytterbium +yvon +zhen +zinc +zirconium -- To view, visit https://gerrit.wikimedia.org/r/88126 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie2ee9cf47d8d0de4ed830b4a2b1ea3a3bb406fbc Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Cmjohnson <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: RobH <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
