Bug? url.insteadOf overwrites remote.pushUrl

From: Kirill Likhodedov <kirill.likhodedov@jetbrains.com>
Date: Oct 14, 2011, 13:55 UTC
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!"