Pour pouvoir utiliser les dépôts en git:// derrière un proxy passer la commande :

git config --global url.https://github.com/.insteadOf git://github.com/

en plus de la configuration classique du proxy :

Configurer un proxy sous linux