Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-21 Thread Johannes Schindelin
Hi Anastas, On Fri, 19 Dec 2014, Anastas Dancha wrote: On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin johannes.schinde...@gmx.de wrote: [...] There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig like this: [url anas...@company.com]

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-20 Thread Anastas Dancha
On Fri, Dec 19, 2014 at 11:30 AM, Michael J Gruber g...@drmicha.warpmail.net wrote: Anastas Dancha schrieb am 19.12.2014 um 16:44: Hello Johannes, On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin johannes.schinde...@gmx.de wrote: [...] There is one bit left to clarify: let me guess, you

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-19 Thread Johannes Schindelin
Hi Anastas, On Tue, 16 Dec 2014, Anastas Dancha wrote: Then I wrote alias, I've meant the following: ``` [url g...@githost.com] insteadOf = myalias pushInsteadOf = myalias ``` Unfortunately, your suggested fix will not allow my [poorly] described use case. There is one bit left to

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-19 Thread Anastas Dancha
Hello Johannes, On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin johannes.schinde...@gmx.de wrote: [...] There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig like this: [url anas...@company.com] insteadOf = backup

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-19 Thread Michael J Gruber
Anastas Dancha schrieb am 19.12.2014 um 16:44: Hello Johannes, On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin johannes.schinde...@gmx.de wrote: [...] There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig like this: [url anas...@company.com]

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-16 Thread Johannes Schindelin
Hi Anastas, On Tue, 16 Dec 2014, Anastas Dancha wrote: When ~/.gitconfig contains an alias (i.e. myremote) and you are adding a new remote using the same name for remote, Git will refuse to add the remote with the same name as one of the aliases, even though the remote with such name is not

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-16 Thread Michael J Gruber
Anastas Dancha schrieb am 16.12.2014 um 03:30: From f80bdf3272e7bdf790ee67fb94196a8aa139331f Mon Sep 17 00:00:00 2001 From: Anastas Dancha anap...@random.io Date: Mon, 15 Dec 2014 16:30:50 -0500 Subject: [PATCH] remote: allow adding remote w same name as alias When ~/.gitconfig contains

Re: [PATCH] remote: allow adding remote w same name as alias

2014-12-16 Thread Anastas Dancha
My bad Johannes, Then I wrote alias, I've meant the following: ``` [url g...@githost.com] insteadOf = myalias pushInsteadOf = myalias ``` Unfortunately, your suggested fix will not allow my [poorly] described use case. Hope this makes more sense now. Thank you for looking into this. -Anastas

[PATCH] remote: allow adding remote w same name as alias

2014-12-15 Thread Anastas Dancha
From f80bdf3272e7bdf790ee67fb94196a8aa139331f Mon Sep 17 00:00:00 2001 From: Anastas Dancha anap...@random.io Date: Mon, 15 Dec 2014 16:30:50 -0500 Subject: [PATCH] remote: allow adding remote w same name as alias When ~/.gitconfig contains an alias (i.e. myremote) and you are adding a new remote