On Tue, Feb 4, 2014 at 12:13 PM, chris <j...@hotmail.com> wrote: > However, I question why I should even care about this message? I'm going to > assume that simply it is a lengthy synchronous operation that someone felt > deserved some verbosity to why the client push action is taking longer than > it should. Yet that makes me question why I'm being penalized for this > server side operation. My client time should not be consumed for server > side house keeping. > > An obvious fix is to disable gc on the server and implement a cron job for > the house keeping task. However, as often the case one does not have > control over the server, so it is unfortunate that git has this server side > house keeping as a blocking operation to a client action.
I agree it should not block the client. I think you can Ctrl-C "git push" at this point without losing anything (data has already been pushed at this point) but that's not a good advice to general cases. Maybe we can do something at the server side to not block the client.. Another thing we could do is put "remote: " in front of these strings, even in ssh case. They seem to confuse you (and me too) that things happened locally. -- Duy -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
