gen_rosinstall.py is 404

[jayvdb]

http://packages.ros.org/cgi-bin/gen_rosinstall.py?rosdistro=electric&variant=robot&overlay=yes is 404

$ git grep gen_rosinstall
doc/rosinstall_usage.rst:    rosinstall ~/ros "http://packages.ros.org/cgi-bin/gen_rosinstall.py?rosdistro=electric&variant=desktop-full&overlay=no"
doc/rosws_tutorial.rst:  $ rosws merge 'http://packages.ros.org/cgi-bin/gen_rosinstall.py?rosdistro=electric&variant=robot&overlay=yes'
src/rosinstall/rosinstall_cli.py:initial checkout:   rosinstall ~/ros "http://packages.ros.org/cgi-bin/gen_rosinstall.py?rosdistro=diamondback&variant=ros-full&overlay=no"

[dirk-thomas]

Closing since the repository is about to be archived: see #126.