Re: [PATCH v2] config: add --comment option to add a comment

From: Dragan Simic <dsimic@manjaro.org>
Date: Mar 11, 2024, 16:17 UTC
Message-ID: <5eff951e815e2fdab3834c4aa4160ed8@manjaro.org>
In-Reply-To: <xmqqy1apudvv.fsf@gitster.g>

On 2024-03-11 13:55, Junio C Hamano wrote:

Show 19 quoted lines

> "Ralph Seichter via GitGitGadget" <gitgitgadget@gmail.com> writes:
> 
>> From: Ralph Seichter <github@seichter.de>
>> 
>> Introduce the ability to append comments to modifications
>> made using git-config. Example usage:
>> 
>>   git config --comment "changed via script" \
>>     --add safe.directory /home/alice/repo.git
>> 
>> based on the proposed patch, the output produced is:
>> 
>>   [safe]
>>     directory = /home/alice/repo.git #changed via script
> 
> For readability, you probably would want to have a SP before the
> given string, i.e.,
> 
> 	variable = "value" # message comes here

Let me interject... Perhaps also a tab character before the "# comment", instead of a space character. That would result in even better readability.