On Thu, Mar 14, 2024 at 4:37 PM Junio C Hamano <gitster@xxxxxxxxx> 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
