Hi Anastas, On Fri, 19 Dec 2014, Anastas Dancha wrote: > On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin > <Johannes.Schindelin@xxxxxx> wrote: > > [...] > > There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig > > like this: > > > > [url "anastas@xxxxxxxxxxx"] > > insteadOf = backup > > pushInsteadOf = backup > > > > and then you want to add the "backup" remote in a Git working directory > > like this: > > > > git remote add backup me@my-laptop.local > > > > but my suggested fix will still disallow this because the URL does not > > match the url.anastas@xxxxxxxxxxx.insteadOf? > > Precisely that. In fact, it will not work even if you do any of these: > > git remote add backup anastas@xxxxxxxxxxx This will succeed after applying my suggested change. I even tested this ;-) Ciao, Johannes -- 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