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

Question

Note: while the use-case described is about using submodules within a project, the same applies to a normal git clone of a repository over HTTP.

I have

Answer 1

If you just want to use proxy on a specified repository, don't need on other repositories. The preferable way is the -c, --config option when you git clone a repository. e.g.

$ git clone https://chromium.googlesource.com/chromium/tools/depot_tools.git --config "http.proxy=proxyHost:proxyPort"