Re: [ros-dev] GIT mirror