[ros-dev] GIT mirror