From: Kirill Likhodedov <kirill.likhodedov@jetbrains.com>
Date: Fri, 14 Oct 2011 13:55:40 GMT
Subject: Bug? url.insteadOf overwrites remote.pushUrl
Message-ID: <CAB6D58F-A3C9-4532-A9CC-10E43CD34E4E@jetbrains.com>


I've found that defining url.<base>.insteadOf overrides explicit remote.<name>.pushUrl.
On the other hand, pushInsteadOf doesn't override explicit pushUrl.
Is it a bug?

# cat .git/config
[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = github.com/klikh/Test.git 
	pushUrl = jetbrains.com/klikh/Test.git 
[url "http://"]
  insteadOf=jet

# git remote -v
origin	github.com/klikh/Test.git (fetch)
origin	http://brains.com/klikh/Test.git (push)


See also http://kerneltrap.org/mailarchive/git/2009/9/7/11264/thread - patch introducing pushInsteadOf & discussion 

----------------------------------
Kirill Likhodedov
JetBrains, Inc
http://www.jetbrains.com
"Develop with pleasure!"