git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Bug? url.insteadOf overwrites remote.pushUrl

From
Kirill Likhodedov <kirill.likhodedov@jetbrains.com>
Date
Oct 14, 2011, 19:16 UTC
Message-ID
<0656F8BA-3B41-473D-88A6-6A703C9A9CED@jetbrains.com>
In-Reply-To
<4E9856BD.3010807@drmicha.warpmail.net>
>> On the other hand, pushInsteadOf doesn't
>> override explicit pushUrl. Is it a bug?
> 
> That is as described in the thread (thanks for linking to it).
Show 6 quoted lines
> pushurl predates pushinsteadof, and when the latter was introduced, one
> could have argued for or against "insteadof" being applied to pushurls.
> But that was necessary before, and existing behavior at the time when
> pushinsteadof was introduced. So, I don't see a bug, nor anything we
> could change now, though arguably most people use either pushinstead of
> or pushurl, but not both.

Yeah, that's clear now. As I already answered to Junio in another thread, my question was only about insteadOf, not pushInsteadOf behavior. The behavior of pushInsteadOf is completely clear from the thread and from t5516-fetch-push.sh Sorry for making it not clear enough. 

Anyway, thanks for giving a one more explanation and example on how url, pushUrl and insteadOf configs work, it is always useful to go though it once again.
Previous: Michael J Gruber
Message 3 of 3 in “Bug? url.insteadOf overwrites remote.pushUrl”
  1. Kirill LikhodedovOct 14, 2011
  2. Michael J GruberOct 14, 2011
  3. Kirill LikhodedovOct 14, 2011

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.