mirror of
https://github.com/git/git.git
synced 2026-04-01 12:30:09 +02:00
Although it does not matter in general it is handled different by "git clone", as it removes it to make the "humanish" name of the new repository. Signed-off-by: Santi Béjar <santi@agolina.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
7.0 KiB
7.0 KiB