mirror of
https://github.com/git/git.git
synced 2026-02-25 09:31:11 +00:00
This allows one to track where was the remote's original source, so that it's possible to decide if it makes sense to migrate it to the config format or not. Signed-off-by: Miklos Vajna <vmiklos@frugalware.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
3.2 KiB
3.2 KiB