From: Hanno Böck <hanno@hboeck.de>
Date: Fri, 19 May 2023 09:09:37 GMT
Subject: Re: git push --quiet is not quiet
Message-ID: <20230519110937.7df62fd7.hanno@hboeck.de>
In-Reply-To: <20230519090559.GA3515410@coredump.intra.peff.net>

On Fri, 19 May 2023 05:05:59 -0400
Jeff King <peff@peff.net> 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/