mirror of
https://github.com/git/git.git
synced 2026-02-26 10:00:51 +00:00
Without this the 'origin' remote would not be configured, so when calling remote_get with 'origin' as argument we would get an unconfigured remote. Signed-off-by: Junio C Hamano <gitster@pobox.com>