Re: [PATCH] remote: allow adding remote w same name as alias
- From
Michael J Gruber <git@drmicha.warpmail.net>
- Date
- Dec 19, 2014, 16:30 UTC
- Message-ID
- <54945297.3010409@drmicha.warpmail.net>
- In-Reply-To
- <CAChhagA7eZ_7=g-xhAusZ1NX085KLjPDRbgJwx00F4pgOURXnQ@mail.gmail.com>
Anastas Dancha schrieb am 19.12.2014 um 16:44:
Show 35 quoted lines
> Hello Johannes, > > On Fri, Dec 19, 2014 at 4:37 AM, Johannes Schindelin > <Johannes.Schindelin@gmx.de> wrote: >> [...] >> 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 > > Precisely that. In fact, it will not work even if you do any of these: > > git remote add backup anastas@company.com > git remote add backup anything@anyhost.com > git remote add backup backup > > The original / current code and your suggested fix - both exhibit > similar behaviour with the use cases I've described above. > > Thanks, > Anastas >
OK, I'll repeat it again: We cannot allow that.
"git push" can take a url or a remote as a parameter. Which one is it if you have a remote and a url (alias) with the same name?
Michael