On Thu, Oct 11, 2012 at 2:04 PM, Michael Haggerty <mhag...@alum.mit.edu> wrote: > Maybe I'm being too much of a purist, but I don't think that git should > retroactively reinterpret history on its own initiative in a way that > might not be correct (e.g., maybe your encoding changed from ASCII to > Shift-JIS sometime in the past). It would be more appropriate for this > to happen only if explicitly requested by the user. For example, why > don't you override the incorrect historical attributes via > .git/info/attributes?
I think git-notes is a more appropriate place to correct these things. If the incorrect commits are pruned, their notes can also be pruned. No poluttion in $GIT_DIR/info/attr.. And i'm your side, no checking worktree without user's permission. -- Duy -- 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
