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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Anastas,

On Tue, 16 Dec 2014, Anastas Dancha wrote:

> Then I wrote "alias", I've meant the following:
> ```
> [url "git@xxxxxxxxxxx"]
> 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@xxxxxxxxxxx"]
		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@xxxxxxxxxxx.insteadOf?

Ciao,
Johannes
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Linux Kernel Development]     [Gcc Help]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [V4L]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Fedora Users]