Just for greater visibility, I'm posting [a PR for ros_buildfarm](https://github.com/ros-infrastructure/ros_buildfarm/pull/555) here. I hope people find it useful and will lead to a more user friendly buildfarm. --- [Visit Topic](https://discourse.ros.org/t/super-status/5181/1) or reply to this email to respond. If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates. ______________________________________________________________________________ ros-users mailing list ros-users@lists.ros.org http://lists.ros.org/mailman/listinfo/ros-users Unsubscribe: