Re: [PATCH] ls-remote: document the '--get-url' option

> While looking for a way to expand the URL of a remote
> that uses a 'url.<name>.insteadOf' config option I stumbled
> over the undocumented '--get-url' option of 'git ls-remote'.
> This adds some minimum documentation for that option.
>
> And while at it, also add that option to the '-h' output.
>
> Signed-off-by: Stefan Naewe <stefan.naewe@gmail.com>
> ---
>  Documentation/git-ls-remote.txt | 4 ++++
>  builtin/ls-remote.c             | 2 +-
>  2 files changed, 5 insertions(+), 1 deletion(-)
>
> diff --git a/Documentation/git-ls-remote.txt b/Documentation/git-ls-remote.txt
> index 7a9b86a..a2ebf1d 100644
> --- a/Documentation/git-ls-remote.txt
> +++ b/Documentation/git-ls-remote.txt
> @@ -42,6 +42,10 @@ OPTIONS
>  	it successfully talked with the remote repository, whether it
>  	found any matching refs.
>  
> +--get-url::
> +	Expand the URL of the given remote repository taking into account any
> +	"url.<base>.insteadOf" config setting (See linkgit:git-config[1]).
> +