>> 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). > 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. -- 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