Re: [PATCH] remote: allow adding remote w same name as alias
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 19, 2014, 09:37 UTC
- 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:
Show 8 quoted lines
> 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