Using git bash when a proxy is required is not as easy as is expected, below is the procedures to setup this:
1. in the command prompt, type:
git config –global http.proxy http://user:email@example.com:80
where the uer and password strings are self-explantory
2. after setting the proxy, you can see if this configuration really takes effect by typing in the command:
git config –get –global http.proxy
3. Once this is done, you might try:
git pull origin master
however it won’t work!
4. Replace the origin with the github URL:
git pull http://github.com/YourGitHubURLHere master
it will work now! Note that you might be prompted to input GitHub user name and password as well.