From: Chris Torek <chris.torek@gmail.com>
Date: Fri, 15 Mar 2024 00:04:25 GMT
Subject: Re: [PATCH 0/2] Optionally support push options on up-to-date branches
Message-ID: <CAPx1Gvez4Ema9Yi-7Ei8OOkq9t8AXmBYN=yy948k_C+ZBKdXmw@mail.gmail.com>
In-Reply-To: <xmqqv85otmsb.fsf@gitster.g>

On Thu, Mar 14, 2024 at 4:37 PM Junio C Hamano <gitster@pobox.com> wrote:
> In any case, I am OK with the feature.  I just was wondering if the
> end-user experience may become simpler and easier if we did not have
> to have a command line option.

Would it make sense for the *server* to request the option?

That is, you run:

    git push server-remote ref

and if the server at server-remote "wants" to know about "no-op
pushes" because it will do something for this case, it says so.
If the server says nothing, the client doesn't bother with the no-op
pushes.

(This could be either per-ref or global, too.)

Chris