Я работаю на ОС Ubuntu. Я попытался клонировать несколько репозиториев из 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

Любая помощь?