git-remote rename: migrate from remotes/ and branches/
authorMiklos Vajna <vmiklos@frugalware.org>
Mon, 10 Nov 2008 20:43:01 +0000 (21:43 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 12 Nov 2008 04:24:18 +0000 (20:24 -0800)
Remote definition that came from $GIT_DIR/remotes/nick and
$GIT_DIR/branches/nick are migrated to [remotes "nick"] section in the
configuration file.

Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found