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