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 > wrote: > > [...] > > There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig > > like this: > > > > [url "anas...@company.com"] > > insteadO

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 wrote: > Anastas Dancha schrieb am 19.12.2014 um 16:44: >> Hello Johannes, >> >> On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin >> wrote: >>> [...] >>> There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig >>> like thi

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 > wrote: >> [...] >> There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig >> like this: >> >> [url "anas...@company.com"] >> ins

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 wrote: > [...] > There is one bit left to clarify: let me guess, you have a $HOME/.gitconfig > like this: > > [url "anas...@company.com"] > insteadOf = backup > pushInsteadOf = backup > >

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 le

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

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 > Date: Mon, 15 Dec 2014 16:30:50 -0500 > Subject: [PATCH] remote: allow adding remote w same name as alias > > When ~/.gitconfig cont

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

[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 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 using the s