From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Fri, 19 Dec 2014 09:37:51 GMT
Subject: Re: [PATCH] remote: allow adding remote w same name as alias
Message-ID: <alpine.DEB.1.00.1412191034560.13845@s15462909.onlinehome-server.info>
In-Reply-To: <CAChhagAFTxmFVvCUiKp3a369awPJtZEuVsfFMcdiqeB9ZwYnKg@mail.gmail.com>

Hi Anastas,

On Tue, 16 Dec 2014, Anastas Dancha wrote:

> Then I wrote "alias", I've meant the following:
> ```
> [url "git@githost.com"]
> insteadOf = myalias
> pushInsteadOf = myalias
> ```
> Unfortunately, your suggested fix will not allow my [poorly] described
> use case.

There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig
like this:

	[url "anastas@company.com"]
		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@company.com.insteadOf?

Ciao,
Johannes