How do I pull from a Git repository through an HTTP proxy?

What finally worked was setting the http_proxy environment variable. I had set HTTP_PROXY correctly, but git apparently likes the lower-case version better.

Related Posts:

  1. Git submodule update
  2. How do I remove a submodule?
  3. HTTPS connections over proxy servers
  4. What is the point of ‘git submodule init’?
  5. How to “git clone” including submodules?
  6. git returns http error 407 from proxy after CONNECT
  7. Git update submodules recursively
  8. List submodules in a Git repository
  9. What is git tag, How to create tags & How to checkout git remote tag(s)
  10. What is the best (and safest) way to merge a Git branch into master?
  11. Squash my last X commits together using Git
  12. How to apply a patch generated with git format-patch?
  13. Abort a Git Merge
  14. How to delete a remote tag?
  15. Updates were rejected because the tip of your current branch is behind its remote counterpart
  16. What does “Changes not staged for commit” mean
  17. git: fatal: Could not read from remote repository
  18. How do I update Homebrew?
  19. Git error when trying to push — pre-receive hook declined
  20. Gitignore not working
  21. Could not open a connection to your authentication agent
  22. How to get just one file from another branch?
  23. git checkout a single file from another branch and put in different folder
  24. Update Git branches from master
  25. Stash only one file out of multiple files that have changed with Git?
  26. How to define the basic HTTP authentication using cURL correctly?
  27. How to find my GitHub username so that I can be found via the URL?
  28. Git, fatal: The remote end hung up unexpectedly
  29. Create a branch in Git from another branch
  30. What is HEAD in Git?
  31. Why git asks to enter a commit message to explain why this merge is necessary
  32. What are the differences between git remote prune, git prune, git fetch –prune, etc
  33. How to get the current branch name in Git?
  34. How do I remove version tracking from a project cloned from git?
  35. How can I git stash a specific file?
  36. How to name and retrieve a stash by name in git?
  37. Get a list of all git commits, including the ‘lost’ ones
  38. Stash just a single file
  39. git pull on a different branch
  40. Git – Ignore node_modules folder everywhere
  41. How to pull from one remote branch to another branch in git?
  42. Trying to git pull with error: cannot open .git/FETCH_HEAD: Permission denied
  43. Git: cannot do a partial commit during a merge (SourceTree)
  44. How to undo ‘git reset’?
  45. How to add multiple files to Git at the same time
  46. “*** Please tell me who you are.” when using SSH key
  47. master branch and ‘origin/master’ have diverged, how to ‘undiverge’ branches’?
  48. How do I send a POST request with PHP?
  49. git pull from master into the development branch
  50. Why is it said that “HTTP is a stateless protocol”?
  51. Clone A Private Repository (Github)
  52. error: cannot lock ref.. ‘refs/tags’ exists; cannot create ‘refs/tags/
  53. Is there a “theirs” version of “git merge -s ours”?
  54. How to clone a specific Git tag
  55. Why does ‘git commit’ not save my changes?
  56. How do I set the proxy to be used by the JVM
  57. Connecting to Git team provider failed
  58. Git how to clone with SSH key, username
  59. Heroku: How to change a Git remote on Heroku
  60. Updates were rejected because the remote contains work that you do not have locally
  61. Undoing a ‘git push’
  62. What’s the significance of the “No newline at end of file” log?
  63. Do a “git export” (like “svn export”)?
  64. What does git push origin HEAD mean?
  65. How do I set up Eclipse/EGit with GitHub?
  66. Repository size limits for GitHub.com
  67. git push origin master does not work
  68. Rebasing remote branches in Git
  69. git push –force-with-lease vs. –force
  70. Git clone verbose output?
  71. Could not create work tree dir ‘example.com’.: Permission denied
  72. How to answer the git prompt in npm init for a local repo
  73. Git says “Automatic merge failed”, what does it mean?
  74. How to configure git bash command line completion?
  75. How to stop tracking and ignore changes to a file in Git?
  76. Eclipse EGit Checkout conflict with files: – EGit doesn’t want to continue
  77. WordPress and Git – What folders should I track?
  78. Git Deploying – Disabling plugin/theme installation/update on remote?
  79. Is it better to create a Git repository at the root level or in the WordPress theme directory?
  80. Pull latest stable release via git [closed]
  81. Why do the Roots theme CSS files not load (404)?
  82. Using wp-cron in backpress – problems with wp_remote_post, fsockopen error
  83. Running index.php from command line & load balancer health checks
  84. How do i define the location of a git push to WP Engine
  85. Preload Cache for thousands of posts may be on non-production environment
  86. WordPress updates being blocked by proxy
  87. Updated to version 3.8 and Admin pages are very slow. How to diagnose problem? [closed]
  88. Painless way to track remote Git repo for WordPress updates
  89. WP API and Proxy
  90. WordPress on git – need help with configuration
  91. AJAX request not routing through proxy
  92. Post via git repository
  93. loading images, css and fonts from site url
  94. WordPress is not loading resources
  95. How to watermark wordpress images from wp-content/uploads folder with htaccess and php?
  96. Can anyone see a syntax error in this? [closed]
  97. WordPress and Git: How does Git interact with your IDE? [closed]
  98. How to update WordPress plugins properly using git?
  99. How to set up Nginx as a caching reverse proxy?
  100. How to retrieve the last modification date of all files in a Git repository

Leave a Comment