Re: [ros-dev] HTTP/WebDAV access for the Git mirror