On Fri, 19 May 2023 05:05:59 -0400
Jeff King [off-list ref] wrote:

As a guess, I wondered if you might be pushing to GitHub.

Yes.

So I think this is a bug / lack of feature in GitHub's server
implementation.  It used to be a thin proxy around Git (and Git has
supported "quiet" since c207e34f7733 in 2012). But I suspect they may
have recently replaced it with something more custom (based on the
agent field).

Ok, interesting. Maybe add to this: it appears github sometimes uses
this channel to send relevant messages, e.g. dependabot alerts. Which I
guess is a good thing, but it probably shouldn't send status messages
for normal commits when the user asks for "quiet".

-- 
Hanno Böck
https://hboeck.de/