14.10.2011, в 21:57, Junio C Hamano writes: >> If I don't specify any value for url.<base>.insteadOf or url.<base>.pushInsteadOf, Git substitutes all urls for remotes defined in .git/config >> >> If it is not a bug, I'd suggest to add a note to man git-config about this. > > Please assume that what the documentation says is clear enough for whoever > wrote it and need no further clarification, so you would need to help them > understand what additional things you may want the documentation to say, > by clarifying "add a note" and "about this" a bit. I would add the following to the "url.<base>.insteadOf" section of git-config: :::: If empty value is specified in insteadOf, <base> will be added to the start of any URL. > The "insteadOf" replacement is meant to apply for any URL we use. I would > be surprised if it did not affect pushURL; it would be a bug if it didn't. That was the question I wanted to clarify. I thought that pushURL shouldn't be affected by insteadOf, because it is not affected by pushInsteadOf. Thanks for clarifying that out. > On the other hand, the rewrite done by "pushinsteadof" is meant to apply > only when remote.<any>.url is used for pushing. See t/t5516-fetch-push.sh > part of the patch for 1c2eafb (Add url.<base>.pushInsteadOf: URL rewriting > for push only, 2009-09-07). It would clarify what the intended interaction > among these configuration variables. Yeah, that's clear. My question was only about insteadOf behavior. Sorry for making it not clear enough. The behavior of pushInsteadOf is completely clear from the discussion thread I mentioned and from t5516-fetch-push.sh Thanks.-- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html