On Thu, Sep 20, 2012 at 1:22 AM, Erik Moeller <e...@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,n,z 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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
