On Thu, Sep 20, 2012 at 1:22 AM, Erik Moeller erik@wikimedia.org wrote:
+1 for redirecting developers.wikimedia.org and developer.wikimedia.org to https://www.mediawiki.org/wiki/Developer_hub as well.
Submitted in https://gerrit.wikimedia.org/r/#q,Ifa3c5e9988da162b2dde65e66bcb180f96161783,...
I also added develop.wm.o and did them all for wikipedia.org too. (waiting for review so we can still change the set of domains later and of course they're always subject to change even after deployed)
-Jeremy