issues
search
ros-infrastructure
/
mirror
ROS Mirroring Config
4
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
EU mirror off-line
#21
gavanderhoorn
closed
9 months ago
3
Almost/All ros wiki mirror sites are outdated
#20
130s
closed
9 months ago
1
remove precise trusty yakkety zesty artful rules
#19
tfoote
closed
4 years ago
2
Add Focal Buster to ROS and Gazebo mirror
#18
sloretz
closed
4 years ago
1
Update for compatibility with puppet v5.5.2, closes #4
#17
Tones29
closed
4 years ago
5
Gazebo mirror
#16
clalancette
closed
6 years ago
0
wiki mirrors are missing all lowercase wiki pages
#15
tfoote
closed
6 years ago
3
Add artful and bionic to ROS mirror, artful to gazebo mirror.
#14
clalancette
closed
6 years ago
0
Include REP pages in mirror
#13
gavanderhoorn
closed
6 years ago
1
Make wiki mirrors use doc mirrors for API docs (and others)
#12
tfoote
opened
6 years ago
4
move cron to random times instead of having all mirror simultaneously
#11
tfoote
closed
6 years ago
1
update rsync endpoints for new mirrors
#10
tfoote
closed
6 years ago
1
enable unattended upgrades
#9
tfoote
closed
7 years ago
0
Update mirror file for Gazebo and EOL ubuntu distros
#8
mikaelarguedas
closed
7 years ago
1
arm64 not supported
#7
tfoote
opened
7 years ago
0
add mirrors for lunar supported platforms
#6
mikaelarguedas
closed
7 years ago
1
Remove vivid, add wily and xenial for Kinetic
#5
jacquelinekay
closed
8 years ago
10
use of import has been discontinued
#4
kfechter
closed
4 years ago
6
Add ROS Indigo packages to mirror list
#3
roehling
closed
10 years ago
1
Add unattended upgrade module
#2
tfoote
closed
7 years ago
1
explore setting up the debian http redirector
#1
tfoote
closed
7 years ago
1