From: Lucas Seiki Oshiro <lucasseikioshiro@gmail.com>
Date: Thu, 20 Nov 2025 22:50:09 GMT
Subject: Re: [PATCH v4 2/2] repo: add --all to git-repo-info
Message-ID: <5F1F88D3-7EDD-4576-B692-4632E0086E8F@gmail.com>
In-Reply-To: <xmqq8qg3do99.fsf@gitster.g>


> If you use "git repo info" only occasionally, wouldn't "git repo
> info --keys", if supported, be a useful way to get a more focused
> help than "git repo --help" where you have to scan the entire
> document and try to find the list of keys that are supported from
> there?

Hmmm, ok, makes sense. After sending the previous message,
I also thought about it being used for shell completions by
fish or zsh, for example.