Junio C Hamano <gitster@xxxxxxxxx> writes: > Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > >> So I have the slight suspicion that all this will accomplish is "shut the >> darn thing up", and old-timers will have a harder time, since they no >> longer spot easily when they did a Dumb Thing and left the index out of >> sync. > > The hardest hit would be old-timers who try to be friendly by > trying to help new people, who has much less chance to notice > and report these much less prominent warnings, over e-mail or > irc. "Dude, you got a stale index hanging out of your trousers." I find it ridiculous to parade local problems in patches sent out to the world rather than fixing them, so that old-timers have a chance to get karma points. Really: if stale indexes are considered a problem, git should silently mark the staleness in the file, and the next time (or after three more times or whatever) the index is used, it is silently regenerated. Old-timers can get an option disabling this so that they can proud themselves on cleaning up after themselves consciously, but for the normal user, this is a bother he can do without. -- David Kastrup - 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
