Re: please add link / url to remote - when - git push
- From
Jeff King <peff@peff.net>
- Date
- Oct 30, 2023, 09:54 UTC
- Message-ID
- <20231030095401.GA848451@coredump.intra.peff.net>
- In-Reply-To
- <20231030094556.GI6241@kitsune.suse.cz>
On Mon, Oct 30, 2023 at 10:45:56AM +0100, Michal Suchánek wrote:
Show 6 quoted lines
> > Yes, this is a problem. Those messages are streamed out as we receive > > them from the server, and before we get any status report back. I don't > > think we'd want to buffer them, as they can be arbitrarily large (and > > may even be progress reports that are meant to be shown in real-time). > > Not when the user asked to not show progress.
Sure, if you make the buffering behavior dependent on the presence of "-q". I guess that is not that hard to do, but it does increase the complexity of the code (you have both a streaming and a buffering code path).
Anyway, I am not all that convinced this is a fruitful path versus just fixing the server side. But if you want to look into writing a patch, go for it.
-Peff