Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Personally, I like to read "git --paginate log" better than to read "git > --pager log". So I would not unnecessarily deprecate --paginate. It's > not like it hurts or something. It doesn't "hurt", but having several options to do the same thing is useless and confusing (someone reading here about --paginate and there about --pager may not immediately notice that one is an alias for the other). Anyway, how often do you type or read "git --paginate log"? -- Matthieu - 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
