Re: git push --quiet is not quiet

From: Taylor Blau <me@ttaylorr.com>
Date: Jun 5, 2023, 11:36 UTC
Message-ID: <ZH3IufbB/mJBBKsv@nand.local>
In-Reply-To: <20230519090559.GA3515410@coredump.intra.peff.net>

On Fri, May 19, 2023 at 05:05:59AM -0400, Jeff King wrote:

Show 7 quoted lines

> 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