On Fri, May 19, 2023 at 05:05:59AM -0400, Jeff King wrote: > 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). > > +cc a few relevant GitHubbers Sorry for missing this. Indeed, this is a missing feature from GitHub's custom reimplementation of receive-pack [1]. The rollout of this new implementation is relatively recent, which is probably why this wasn't noticed until Hanno wrote about it. I mentioned this to the team that is working on spokes-receive-pack, and they have graciously implemented support for the quiet capability here: https://github.com/github/spokes-receive-pack/pull/49 Hopefully that gets merged and rolled out soon, at which point I think we can call it a day here. Thanks, Taylor [1]: https://github.com/github/spokes-receive-pack
