On 07/02/2018, Jeff King wrote: > On Wed, Feb 07, 2018 at 12:37:32PM +0100, Ævar Arnfjörð Bjarmason wrote: > > >> It's not fully auto-generated so stuff like git-worktree doesn't get >> added automatically, I just added a PR for that: >> https://github.com/git/git-scm.com/pull/1133 > Thanks for doing that. I'm also open to auto-generating the index if we > can come up with well-organized output. > > -Peff I did not know that git-worktree is not considered ready for general consumption. It has been present in the release notes for quite some time now. If there's something available from the git repo to drive the build of the index, that would be a good way to advert the publicly available commands of git. JN
