tree 7179df53a871891416523b6bede851be4c93327d
parent ebe7e28a3600f4e67e9a1781e335adb36f3f139b
author Sean Barag <sean@barag.org> 1601523975 +0000
committer Junio C Hamano <gitster@pobox.com> 1601528953 -0700

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>