On 07/06/11 11:48, Stefano Lattarini wrote: > If you've noticed a blunder in your > ChangeLog *before* pushing, why haven't you amended the commit the > blunder occurred into, instead of adding the fix in the following > commit?
Well, partly because I was lazy. But there's a bigger issue here. I sometimes prefer to let people see my mistakes than to polish and polish and polish and pretend that I didn't make any. Excessive polish is common in some fields (mathematics, for example) but it's inefficient and sometimes even counterproductive in real-worldish engineering endeavors like gnulib. I often learn from other people's mistakes, and I imagine that other people sometimes learn from mine.
