From: Jakub Wilk <jwilk@jwilk.net>
Date: Tue, 02 Jan 2024 18:58:42 GMT
Subject: Re: [PATCH] git-clone.txt: document -4 and -6
Message-ID: <20240102185842.bbcd7sqezsj5locs@jwilk.net>
In-Reply-To: <xmqq1qivd8d0.fsf@gitster.g>

* Junio C Hamano <gitster@pobox.com>, 2023-06-01 15:06:
>The patch is not _wrong_ per-se, but there are other options that are 
>common among the "fetch" family of commands.  I counted at least these 
>should be shared between "fetch" and "clone", by splitting them out of 
>"fetch-options.txt" into a new file, and including that new file from 
>"fetch-options.txt" and "git-clone.txt".

Agreed such a split would be better, but I don't have energy to 
implement it.

-- 
Jakub Wilk