The wiki mirrors don’t seem to have the wiki pages at all. Has anything changed in the mirroring scheme?
Sorry for the cross post here (OP on ROS Answers), but wasn’t sure where this belongs exactly.
ROS Resources: ROS Homepage | Media and Trademarks | Documentation | ROS Index | How to Get Help | Q&A Help Site | Discussion Forum | Service Status |
The wiki mirrors don’t seem to have the wiki pages at all. Has anything changed in the mirroring scheme?
Sorry for the cross post here (OP on ROS Answers), but wasn’t sure where this belongs exactly.
Thanks for flagging this. Our export script was missing an update for the upgraded hosting.
I’ve manually triggered it and see that there’s a few more things that need to be resolved causing issues with exporting specific pages. We’ll work to resolve them too. However I expect that with the next sync the content will no longer be empty on the mirrors.
Thanks for the attention, @tfoote!