Michael J Gruber <g...@drmicha.warpmail.net> writes: > sigo venit, vidit, dixit 05.09.2015 14:22: >> I've found really "little bug" with dots in the git output. >> >> $ git push >> Everything up-to-date >> >> git pull >> Already up-to-date. >> >> Could all phrases contain dots? :) >> > > In this case, also both messages mean the same but are phrased > differently, which is suboptimal in more than one way.
I do not particularly care between these two commands, but I think "git pull" says the same "Already up-to-date" in two situations that are two quite different ones. That ambiguity bothers me a lot more. -- 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