Syncing with github

You need to at least set an HTTP_PROXY variable environment.

set HTTPS_PROXY=http://<login_internet>:<password_internet>@aproxy:aport
set HTTP_PROXY=http://<login_internet>:<password_internet>@aproxy:aport

Or, for bash session:

 export http_proxy=http://<login_internet>:<password_internet>@aproxy:aport
 export https_proxy=http://<login_internet>:<password_internet>@aproxy:aport

Make sure %HOME% (or $HOME) is set to a directory where you did store your .ssh config

Then, for git commands:

git config --system http.sslcainfo \\bin\\curl-ca-bundle.crt
git config --global http.proxy http://<login_internet>:<password_internet>@aproxy:aport
git config --global user.name <short_username>
git config --global user.email <email>
git config --global github.user <github_username>
git config --global github.token <github_token>

Note: for bash session:

git config --system http.sslcainfo /bin/curl-ca-bundle.crt

To avoid GitHub asking for your password, create a _netrc file in your HOME (or a .netrc for bash session)

machine github.com
login <login_github>
password <password_github>

Update 2012

Note that since git1.7.10 (2012), you can use a credential caching mechanism in order to avoid having to store in plain text your login/password (in a %HOME%/_netrc file).

Leave a Comment