我正在使用Ubuntu OS。我已经尝试从git.gnome.org克隆几个这样的存储库-
git clone git://git.gnome.org/newcomers-tutorial
Cloning into 'newcomers-tutorial'...
fatal: unable to connect to git.gnome.org:
git.gnome.org[0: 209.132.180.184]: errno=Connection timed out
甚至尝试使用http：//-
git clone http://git.gnome.org/newcomers-tutorial
Cloning into 'newcomers-tutorial'...
fatal: http://git.gnome.org/newcomers-tutorial/info/refs not found: did you run git update-server-info on the server?
反之，如果我从github克隆任何其他仓库，则它已成功克隆。如 -
git clone https://github.com/arduino/Arduino.git
Cloning into 'Arduino'...
remote: Counting objects: 53558, done.
remote: Compressing objects: 100% (617/617), done.
^Cceiving objects: 11% (5996/53558), 23.67 MiB | 1.41 MiB/s
我正在代理工作，并且已经设置了-
git config --global http.proxy $http_proxy
有什么帮助吗？