On Thu, 02 Jun 2016 at 21:33:33, Junio C Hamano wrote: > Lukas Fleischer <[email protected]> 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? -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
