chiark / gitweb /
sanitize mirror URLs to prevent path segments from being removed