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:
- Git submodule update
- How do I remove a submodule?
- HTTPS connections over proxy servers
- What is the point of ‘git submodule init’?
- How to “git clone” including submodules?
- git returns http error 407 from proxy after CONNECT
- Git update submodules recursively
- List submodules in a Git repository
- How do I check out a remote Git branch?
- How do I delete a Git branch locally and remotely?
- How do I use ‘git reset –hard HEAD’ to revert to a previous commit? [duplicate]
- What is git tag, How to create tags & How to checkout git remote tag(s)
- How do I delete a Git branch locally and remotely?
- How do I rename a local Git branch?
- What does ‘–set-upstream’ do?
- What does ‘–set-upstream’ do?
- Difference between “git add -A” and “git add .”
- Git: Message ‘src refspec master does not match any’ when pushing commits in Git
- Git: Message ‘src refspec master does not match any’ when pushing commits in Git
- error: src refspec master does not match any
- What does cherry-picking a commit with Git mean?
- How to cherry pick from 1 branch to another
- How to Git stash pop specific stash in 1.8.3?
- How to use Git Revert
- How do I undo the most recent local commits in Git?
- How do I revert a Git repository to a previous commit?
- Should a 502 HTTP status code be used if a proxy receives no response at all?
- What is the best (and safest) way to merge a Git branch into master?
- How to merge branch to master?
- Git: How do I force “git pull” to overwrite local files?
- Differences between git pull origin master & git pull origin/master
- How do I force git pull to overwrite everything on every pull?
- What happens when I do git pull origin master in the develop branch?
- Undo a Git merge that hasn’t been pushed yet
- How do I properly force a Git push?
- How do I rename a local Git branch?
- fatal: Not a git repository (or any of the parent directories): .git [duplicate]
- What is the difference between a URI, a URL and a URN?
- Why is “MINGW64” appearing on my Git bash?
- How can I switch to another branch in git?
- How to remove local (untracked) files from the current Git working tree
- Squash my last X commits together using Git
- Git merge hotfix branch into feature branch
- Git refusing to merge unrelated histories on rebase
- How to apply a patch generated with git format-patch?
- How do I discard unstaged changes in Git?
- What is the `git restore` command and what is the difference between `git restore` and `git reset`?
- What does ‘git merge –abort is equivalent to git reset –merge when MERGE_HEAD is present.’ of Git merge man page mean?
- What does ‘git blame’ do?
- Abort a Git Merge
- What is the difference between git push origin and git push origin master
- GitHub: Permission denied (publickey). fatal: Could not read from remote repository
- Git fetch remote branch
- How to delete a remote tag?
- Updates were rejected because the tip of your current branch is behind its remote counterpart
- Updates were rejected because the tip of your current branch is behind its remote counterpart
- Git: How do I force “git pull” to overwrite local files?
- git error: failed to push some refs to remote
- git stash apply version
- HTTP Status 504
- How to modify existing, unpushed commit messages?
- How do I clone a specific Git branch? [duplicate]
- Git pushing to remote branch
- How to revert a merge commit that’s already pushed to remote branch?
- What is Git pruning?
- What is the difference between POST and GET? [duplicate]
- Git pushing to remote branch
- git – remote add origin vs remote set-url origin
- How do I undo ‘git add’ before commit?
- How do I discard unstaged changes in Git?
- Git: Message ‘src refspec master does not match any’ when pushing commits in Git
- GitHub Error Message – Permission denied (publickey)
- Git fetch remote branch
- How can I see the differences between two branches?
- How to upgrade Git on Windows to the latest version
- Reset local repository branch to be just like remote repository HEAD
- How to uncommit my last commit in Git [duplicate]
- How do I push a new local branch to a remote Git repository and track it too?
- Git is not working after macOS Update (xcrun: error: invalid active developer path (/Library/Developer/CommandLineTools)
- Handling file renames in Git
- Delete commits from a branch in Git
- How do I list all remote branches in Git 1.7+?
- Practical uses of git reset –soft?
- Need to reset git branch to origin version
- How to uncommit my last commit in Git [duplicate]
- Why are there two ways to unstage a file in Git?
- How do I push a new local branch to a remote Git repository and track it too?
- Git is not working after macOS Update (xcrun: error: invalid active developer path (/Library/Developer/CommandLineTools)
- Updating a local repository with changes from a GitHub repository
- ‘git’ is not recognized as an internal or external command
- Git: How to solve Permission denied (publickey) error when using Git?
- Do I need Content-Type: application/octet-stream for file download?
- LF will be replaced by CRLF in git – What is that and is it important? [duplicate]
- git: fatal: Could not read from remote repository
- Git push results in “Authentication Failed”
- What does “Changes not staged for commit” mean
- Git error: “Please make sure you have the correct access rights and the repository exists”
- github changes not staged for commit
- Git : fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists
- Windows git “warning: LF will be replaced by CRLF”, is that warning tail backward?