From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 14 Jun 2025 04:05:31 GMT
Subject: Re: [PATCH] doc: provide clone commands for the pre-built docs
Message-ID: <xmqqv7oz6k8k.fsf@gitster.g>
In-Reply-To: <45581cb36fbcc33992cae5b740bb801e2724aa90.1749833159.git.code@khaugsbakk.name>

kristofferhaugsbakk@fastmail.com writes:

> From: Kristoffer Haugsbakk <code@khaugsbakk.name>
>
> These repositories need to have these specific names.  You could end
> up cloning the “git” organization htmldocs repository[1] which is named
> “htmldocs”.  So you would need to provide `git-htmldocs` as the second
> argument.  But it’s easier to clone the GitHub “gitster” user
> repositories since they have the expected names.

I'd rather not see people do that.