Ask Your Question
1

Is planet.ros.org down?

asked 2020-01-27 16:49:06 -0600

TurtleBot_Fan gravatar image

When I access this site, I get a 404 "There isn't a Github pages site here". This has been happening for about a week now. Is the site gone? If not, what's going on?

edit retag flag offensive close merge delete

Comments

I closed this question as it is up now. Hard to tell if it has been down 8 hours ago. If you still experience issues, feel free to reopen, but please add additional details about your setup (system, proxy, ...) Looking at the latest traffic on the repo, I guess this issue might have been fixed with https://github.com/ros-infrastructure..., though.

In general it is a good idea to check https://status.ros.org/ if anything ROS related is experiencing problems. Though planet.ros.org isn't shown there (opened an issue: https://github.com/ros-infrastructure....

mgruhler gravatar imagemgruhler ( 2020-01-28 01:04:27 -0600 )edit

There could have been a problem with that host, but at least right now (ie: 10:23 CET) it's online for me.

gvdhoorn gravatar imagegvdhoorn ( 2020-01-28 03:23:54 -0600 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2020-01-28 19:15:44 -0600

tfoote gravatar image
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-01-27 16:49:06 -0600

Seen: 27 times

Last updated: Jan 27