clone: read new remote name from remote_name instead of option_origin
authorSean Barag <sean@barag.org>
Thu, 1 Oct 2020 03:46:15 +0000 (03:46 +0000)
committerJunio C Hamano <gitster@pobox.com>
Thu, 1 Oct 2020 05:09:13 +0000 (22:09 -0700)
commit75ca3906b1ea6a00a20ef16c889e9d6a15a8defc
tree7179df53a871891416523b6bede851be4c93327d
parentebe7e28a3600f4e67e9a1781e335adb36f3f139b
clone: read new remote name from remote_name instead of option_origin

In a future patch, the name of the remote created by `git clone` may
come from multiple sources.  To avoid confusion, convert most uses of
option_origin to remote_name, leaving option_origin to exclusively
represent the -o/--origin option.

Helped-by: Derrick Stolee <stolee@gmail.com>
Signed-off-by: Sean Barag <sean@barag.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/clone.c