Dzahn has submitted this change and it was merged. Change subject: add dev.wikimedia.org ......................................................................
add dev.wikimedia.org Adding a DNS entry for dev.wikimedia.org. Bug: T67074 Change-Id: I0f80c19829cbb4f16e44f06984a4f935df71ba96 --- M templates/wikimedia.org 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/templates/wikimedia.org b/templates/wikimedia.org index d633ab0..3bb46f4 100644 --- a/templates/wikimedia.org +++ b/templates/wikimedia.org @@ -431,6 +431,7 @@ dash.frdev 1H IN CNAME lutetium +dev 1H IN CNAME misc-web-lb.eqiad doc 1H IN CNAME misc-web-lb.eqiad ldap-mirror 1H IN CNAME plutonium.wikimedia.org. -- To view, visit https://gerrit.wikimedia.org/r/181398 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0f80c19829cbb4f16e44f06984a4f935df71ba96 Gerrit-PatchSet: 3 Gerrit-Project: operations/dns Gerrit-Branch: master Gerrit-Owner: Dzahn <[email protected]> Gerrit-Reviewer: Dzahn <[email protected]> Gerrit-Reviewer: MZMcBride <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
