git remote: allow adding remotes agreeing with url.<...>.insteadOf
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 23 Dec 2014 13:25:05 +0000 (14:25 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 23 Dec 2014 20:42:36 +0000 (12:42 -0800)
commitfb86e32...cc9ed07ee2f1df6aafbf34d469007b1f
tree7f88117...376fdd55de4245c1c1ada520cda310fbcopy hash to clipboard (tree)
parentbbcefff...ea9789e4a1a2023a1c778e2c07db77a7copy hash to clipboard (diff)
builtin/remote.c