Page MenuHomePhabricator
Create Task
Maniphest T100349

Alias docs.wikimedia.org to doc.wikimedia.org
Closed, ResolvedPublic
Actions

Description

I keep getting it wrong and confusing myself.

Details

ProjectBranchLines +/-Subject
operations/puppetproduction+12 -0redirect "docs" to doc.wikimedia.org
operations/dnsmaster+2 -0add "docs" as alias for "doc" in wm.org/mw.org
Customize query in gerrit

Related Objects

Event Timeline

MC8 created this task.May 25 2015, 7:28 PM
MC8 raised the priority of this task from to Needs Triage.
MC8 updated the task description. (Show Details)
MC8 added a subscriber: MC8.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 25 2015, 7:28 PM
Krenair added a project: acl*sre-team.May 27 2015, 11:50 PM
Krenair added a subscriber: Krenair.

Please associate projects with tasks so that people actually see them

• MZMcBride added a subscriber: • MZMcBride.May 28 2015, 4:09 AM

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.

Dzahn added a subscriber: Dzahn.May 28 2015, 7:21 PM

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

gerritbot added a subscriber: gerritbot.May 28 2015, 7:27 PM

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

gerritbot added a project: Patch-For-Review.May 28 2015, 7:27 PM
gerritbot added a comment.May 28 2015, 7:42 PM

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

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

Dzahn triaged this task as Low priority.May 29 2015, 1:05 AM
Dzahn claimed this task.May 29 2015, 5:30 AM
gerritbot added a comment.May 29 2015, 9:20 PM

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

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

Dzahn mentioned this in rODNS64c023110369: add "docs" as alias for "doc" in wm.org/mw.org.May 29 2015, 9:21 PM
gerritbot added a comment.May 29 2015, 9:21 PM

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

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

Dzahn mentioned this in rOPUP849ce0d58304: redirect "docs" to doc.wikimedia.org.May 29 2015, 9:22 PM
Dzahn added a comment.May 29 2015, 10:05 PM

resolved. these links are now redirects:

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

Dzahn closed this task as Resolved.May 29 2015, 10:05 PM
hashar mentioned this in T213374: docs.wikimedia.org (alias) should preserve path upon redirect to https://doc.wikimedia.org/.Jan 10 2019, 8:01 AM
Content licensed under Creative Commons Attribution-ShareAlike 4.0 (CC-BY-SA) unless otherwise noted; code licensed under GNU General Public License (GPL) or other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL