Estou trabalhando em um sistema operacional Ubuntu. Eu tentei clonar vários repositórios do git.gnome.org como este -

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

E até tentei com 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?

enquanto que se eu clonar qualquer outro repo do github, ele será clonado com êxito. Tal como -

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

Estou trabalhando atrás de um proxy e já o defini por -

git config --global http.proxy $http_proxy

Qualquer ajuda?