Last modified: 2012-10-25 19:30:41 UTC
I'm seeing references to "gerrit.mediawiki.org" on the mailing list. It probably makes sense to add a redirect from <http://gerrit.mediawiki.org> to <http://gerrit.wikimedia.org>.
I would prefer we only refer to it as wikimedia. The mediawiki/wikimedia is already confusing enough for everyone and gerrit is really all about wikimedia.
Sorry, my mistake. I don't think a redirect is a good idea, actually.
All right. I'll go ahead and mark this as wontfix, then. :-)