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.
>
> Signed-off-by: Stefan Naewe <stefan.naewe@gmail.com>
> ---
>  Documentation/git-ls-remote.txt | 4 ++++
>  1 file changed, 4 insertions(+)
>
> diff --git a/Documentation/git-ls-remote.txt b/Documentation/git-ls-remote.txt
> index 7a9b86a..5819ead 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]).
> +
>  <repository>::
>  	Location of the repository.  The shorthand defined in
>  	$GIT_DIR/branches/ can be used. Use "." (dot) to list references in