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