On Wed, 27 Mar 2013 15:47:35 -0700
Jonathan Nieder <jrnie...@gmail.com> wrote:
> Rob Hoelz wrote:
> > On Wed, 27 Mar 2013 11:23:45 -0700
> > Jonathan Nieder <jrnie...@gmail.com> wrote:
> >> Suppose I configure
> >> [url "git://anongit.myserver.example.com/"]
> >> insteadOf = myserver.example.com:
> >> [url "myserver:"]
> >> pushInsteadOf = myserver.example.com:
> >> The above code would make the insteadOf rule apply instead of
> >> pushInsteadOf, even when pushing. Perhaps something like the
> >> following would work?
> > Are you sure?
> The message you are replying to is nonsense, due to a typo while
> editing. Did you see my followup?
> Sorry for the confusion,
My mistake; I had not seen it! I thought you may have found a bug in
my implementation, so I wanted to double check. =)
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html