From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 06 Sep 2012 20:49:03 GMT
Subject: Re: [PATCH] ls-remote: document the '--get-url' option
Message-ID: <7v7gs63mio.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1346952441-20666-1-git-send-email-stefan.naewe@gmail.com>

Stefan Naewe <stefan.naewe@gmail.com> writes:

> 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

OK.  Do we want to also add this to the "git ls-remote -h" output,
or is it used so infrequently that it is not worth cluttering the
help text there?