Stefan Naewe <stefan.na...@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.na...@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?
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to