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 “wordpress.org” as a valid place for it to redirect to, per request of the docs team: https://wordpress.slack.com/archives/C02RP4WU5/p1543972984189700

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

cc @drewapicture

#prio3