OpenRMF Keyserver is down?

[ooeygui]

While following the installation instructions for openRMF, https://osrf.github.io/ros2multirobotbook/installation.html, it has a keydownload:

curl -s http://rmf.servehttp.com/repos.key | sudo apt-key add -

However rmf.servehttp.com is not responding. Does the doc need update or does the server need to be refreshed?

[codebot]

Thanks for bringing this up. Indeed, this doc needs an update. The most recent installation document is https://github.com/open-rmf/rmf

You can just install the binary RMF packages from the main ROS build farm now; the extra key listed in this (outdated) doc is no longer required.

[ooeygui]

Thank you for the quick reply!