Utiliser Git/Github derrière un proxy HTTP

Dans un contexte professionnel nous travaillons souvent derrière un proxy http. Voici comment j’ai configuré mon poste pour pouvoir dialoguer avec un repository Git hébergé par Github

Considérons que vous avez Git installé en local, un compte Github et un repository défini dessus.

La première étape consiste à paramétrer Git pour qu’il puisse accéder au proxy. Pour cela lancez la commande

git config --global http.proxy http://USER:PASSWORD@PROXYSERVER:PORT

Comme vous êtes en train de modifier la configuration globale de git sur votre poste, vous pouvez aussi ajouter vos informations personnelles qui permettront de vous identifier plus proprement dans l’historique git

git config --global user.name “Guillaume EHRET”
git config --global user.email moi@gmail.com

Vous pouvez vérifier votre paramétrage via la commande

git config --global -l

Après avoir configuré git vous pouvez vous placer dans le répertoire de votre projet et lancer

git init
git add *
git commit -m "first commit”

Configurez le repository distant que vous avez créé sur Github

git remote add origin https://github.com/javamind/myproject.git

Maintenant il ne vous reste plus qu’à pousser vos modifications vers Github (vos identifiants Github vous serons demander).

git push -u origin master

Vérifiez l’historique

git log

donnera

commit 3c7196a9b6fbdcaf525f83435e27aedba4bf530a
Author: Guillaume EHRET <moi@gmail.com>
Date:   Fri Jul 12 11:11:20 2013 +0200

   first commit

Si vous souhaitez revenir en arrière et supprimer par exemple le proxy paramétré vous pouvez utiliser la commande

git config --global --unset http.proxy