On Thu, Jun 2, 2016 at 1:06 PM, Lukas Fleischer <lfleischer@xxxxxxx> wrote: > On Thu, 02 Jun 2016 at 21:33:33, Junio C Hamano wrote: >> Lukas Fleischer <lfleischer@xxxxxxx> writes: >> >> > When running `git push`, it might occur that error messages are >> > transferred from the server to the client. While most messages (those >> > explicitly sent on sideband 2) are prefixed with "remote:", it seems >> > that error messages printed during the automatic householding performed >> > by git-gc(1) are displayed without any additional decoration. Thus, such >> > messages can easily be misinterpreted as git-gc failing locally, see [1] >> > for an actual example of where that happened. >> >> Sounds like a sensible goal to me. > > What exactly are you referring to (you only quoted the introduction)? > Do you think we should fix the git-gc issue but keep the general > behavior of printing messages unaltered? Do you think it would be > worthwhile to make server messages distinguishable in general? The latter, which I think was what your implementation was attempting to do if I read it correctly. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html