Estoy trabajando en un sistema operativo Ubuntu. He intentado clonar varios repositorios de 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 incluso probé con 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?

mientras que si clono cualquier otro repositorio de github, se clona con éxito. 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

Estoy trabajando detrás de un proxy y ya lo configuré:

git config --global http.proxy $http_proxy

¿Alguna ayuda?