chiark / gitweb /
dgit: repos_server_url(): Break out