Re: [PATCH v3 2/2] push: fix --force-if-includes detached HEAD advice

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 11, 2026, 16:03 UTC
Message-ID: <xmqqcxujdbcn.fsf@gitster.g>
In-Reply-To: <aqOl0SnPHa5iM_tz@pks.im>

Patrick Steinhardt <ps@pks.im> writes:

Show 16 quoted lines

> On Thu, Sep 10, 2026 at 05:05:06PM -0600, Tyler Cipriani wrote:
>> diff --git a/Documentation/config/advice.adoc b/Documentation/config/advice.adoc
>> index 257db58918..a0eff8bbd6 100644
>> --- a/Documentation/config/advice.adoc
>> +++ b/Documentation/config/advice.adoc
>> @@ -90,6 +90,10 @@ all advice messages.
>>  		Shown when linkgit:git-push[1] rejects a forced update of
>>  		a branch when its remote-tracking ref has updates that we
>>  		do not have locally.
>> +	pushRefUnverifiable::
>> +		Shown when linkgit:git-push[1] rejects a forced update of
>> +		a branch when we are unable to verify the remote-tracking
>> +		ref is available locally.
>
> We don't really care about the ref being available, but rather about it
> being integrated, right? So maybe s/available/integrated/.

Ah, I missed that one. "available locally" is not of interest. We cannot tell if we integrated it is what matters.

Thanks.