Thread:Talk:Technical communications/Dev wiki consolidation/Why reuse wikitech.wikimedia.org/reply (2)

But why not rename the new wikitech.wikimedia.org to dev.mediawiki.org? It's just a DNS entry, right?