Migration of docs.ros.org to new web host

Yes that’s correct. The failure was in the documentation generation jobs on the buildfarm. In the end we re-configured the jobs to avoid the misconfigured plugin entirely Use tar and ssh to publish package metadata files. by nuclearsandwich · Pull Request #1049 · ros-infrastructure/ros_buildfarm · GitHub

This change has been deployed to build.ros.org and I’ve fired off fresh builds of the 20 or so doc jobs that have failed in the last week while we’ve been working on this issue. Things should be recovering and working normally now.