Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > On Thu, Jan 14, 2010 at 9:15 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> I think the point of the message you are responding to is that it has >> already been proven that there are users that never reads any of the >> zillions of "your first 10 minutes with Git". How that _could_ ever >> possibly be the reason/justification why you would want to push that >> change to our documentation? > > Users are lazy. And the ones that suffer from the issue discussed in this thread will not read the manual your patch touches. When you make changes to the manual, you should not be targetting them, as they won't read it anyway. Instead, the description of the manual should aim to help people who _read_ it. -- 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