search

ros-infrastructure / mirror

ROS Mirroring Config
4 stars 2 forks source link

EU mirror off-line #21

Closed gavanderhoorn closed 9 months ago

gavanderhoorn commented 1 year ago

(I seem to recall there was a dedicated venue for reporting infrastructure issues, but I can't find it, or I'm looking in the wrong place(s))

It looks like mirror-eu.packages.ros.org is off-line. Or at least it doesn't respond to GETs.

gavanderhoorn commented 1 year ago

Friendly ping?

tfoote commented 9 months ago

We decommissioned that machine when that EC2 instance aged out. I recommend using the Freiburg one: http://wiki.ros.org.ros.informatik.uni-freiburg.de/

gavanderhoorn commented 9 months ago

The wiki diff removes the wiki EU mirror. I guess the same machine is used for the apt mirror?

I can't find an announcement of this with some quick googling, but if it is: it's still listed here.