On Wed, 2017-11-22 at 10:14 +0900, Junio C Hamano wrote: > Your suggesting to mention that particular message hints at me that > you feel that the users may not necessarily understand that push did > not result in any update of references on the other side when they > see it. If the message was clear enough to them, "when it reacts to > push and updates" ought to be clear enough description, too. > > And if that indeed is the case (and I would not be surprised if it > is, but I suspect that most users are clueful enough), it is not the > documentation, but the "Already up-to-date" message, that needs to > be clarified, no? > > Besides, we'd rather not cast the end-user facing message in stone > in the documentation like that (especially when the message has > known room for improvement and will change).
You're right (with everything you wrote). Your proposed text sounds good.
