It is possible (via git config --global
) to use e.g. custom proxy settings for certain addresses like:
[http "https://github.com/"]
proxy = http://myproxy.com:80
and you can use custom user.name
per repository with
[user]
name = John
but is it possible to combine these two to have a default user.name for a particular address?
I tried the command
git config --global http."https://foo.bar/".user.name test
but it creates an invalid setting with the user
being part of the url.
[http "https://foo.bar/.user"] name = test
I'd like to have such a default setting because I don't want to remember to specify the --proxy
switch each time I'm cloning a repository and I have a couple of different sources.