deploy dotorg sh wporg hung and then…

deployDeploy Launching code from a local development environment to the production web server, so that it's available to visitors.-dotorg.sh wporg” hung and then timed out and died. Looks like there’s a stale lock laying around now.