我在尝试制作git cloneDeepin 15.9.3 发行版时遇到了问题。我使用以下命令：
git clone "https://gitportoprd.portoseguro.brasil/...."
我收到这个错误：
Cloning into 'COL'...
fatal: unable to access
'https://gitportoprd.portoseguro.brasil/....': Could
not resolve host: gitportoprd.portoseguro.brasil
但是，我可以通过浏览器访问，并且我们之间没有代理服务器。
观察：当我输入 IP 而不是服务器名称时，我可以访问