Re: [PATCH v2] docs: update description for '--mirror' option for 'git push'

From: Kristoffer Haugsbakk <kristofferhaugsbakk@fastmail.com>
Date: Sep 16, 2025, 20:04 UTC
Message-ID: <97770221-63b8-4375-9787-991717594938@app.fastmail.com>
In-Reply-To: <xmqqzfaumi2b.fsf@gitster.g>

On Tue, Sep 16, 2025, at 19:19, Junio C Hamano wrote:

Show 16 quoted lines

>> The current description considers only created, updated or deleted refs
>> locally. However it does not address the case where new refs were created
>> on the remote end, in which case, are also deleted. The description has
>> been reworded to describe what is removed, updated or added. (Based on
>> Junio feedback)
>
> Drop "(Based on Junio feedback)" that is not even grammatical ;-)
> If you want to credit others, it is common to say
>
>     Helped-by: ...
>
> just before your own sign-off.  See an example like
>
> https://lore.kernel.org/git/2f78ab2e28c64f05d807cb9460fa62eb1011a57f.1757879060.git.code@khaugsbakk.name/
>
> (by the way, oh, gee, that's an unwieldy long message ID).

It is. Considering I only send out (git send-)emails at most every 15 seconds. ;–(