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