[MediaWiki-commits] [Gerrit] operations/dns[master]: decommission restbase-dev100[123] dns entries

2017-07-20 Thread RobH (Code Review)
RobH has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366746 ) Change subject: decommission restbase-dev100[123] dns entries .. decommission restbase-dev100[123] dns entries removing production

[MediaWiki-commits] [Gerrit] operations/dns[master]: decommission restbase-dev100[123] dns entries

2017-07-20 Thread RobH (Code Review)
RobH has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366746 ) Change subject: decommission restbase-dev100[123] dns entries .. decommission restbase-dev100[123] dns entries removing production dns