Please associate projects with tasks so that people actually see them

I've always been slightly annoyed at the domain name being doc.wikimedia.org instead of docs.wikimedia.org. I'd prefer a move, but a redirect is a decent alternative.

We also have doc.mediawiki.org, so it would have to be that as well.

Change 214416 had a related patch set uploaded (by Dzahn):
add "docs" as alias for "doc" in wm.org/mw.org

https://gerrit.wikimedia.org/r/214416

Change 214418 had a related patch set uploaded (by Dzahn):
redirect "docs" to doc.wikimedia.org

https://gerrit.wikimedia.org/r/214418

Change 214416 merged by Dzahn:
add "docs" as alias for "doc" in wm.org/mw.org

https://gerrit.wikimedia.org/r/214416

Change 214418 merged by Dzahn:
redirect "docs" to doc.wikimedia.org

https://gerrit.wikimedia.org/r/214418

resolved. these links are now redirects:

https://docs.wikimedia.org/
https://docs.mediawiki.org/