This may be a very silly question but how will users who haven't bookmarked
any of the mirror sites learn the addresses of the mirrors if ros.org is
down? Is it expected that everyone should bookmark them now just in case?

-- ben



On Fri, Nov 18, 2011 at 3:10 PM, Brian Gerkey <gerkey@willowgarage.com>wrote:

> On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <bencohen2@gmail.com>
> wrote:
> > The ROS docs part of the penn mirror is now setup and the script is still
> > downloading the docs api part of the wiki. It should be done in a couple
> of
> > hours.
> >
> > Our mirror can be found at www.pennros.org.
> >
> > I updated the mirrors page (http://www.ros.org/wiki/Mirrors)
> accordingly.
>
> Fantastic, thanks!
>
>        brian.
> _______________________________________________
> ros-users mailing list
> ros-users@code.ros.org
> https://code.ros.org/mailman/listinfo/ros-users
>