Can I get a deploy…

Can I get a deployDeploy Launching code from a local development environment to the production web server, so that it's available to visitors. of the codex files?

I made a change to the DotorgRedirect plugin for the codex, to whitelist “” as a valid place for it to redirect to, per request of the docs team:

So, just need to get that one line change onto the codex.

cc @drewapicture