Stefan Naewe <stefan.naewe@xxxxxxxxx> 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@xxxxxxxxx> > --- > 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html