I read up on .gitattributes and told git not to change line endings for a few files. Problem is, they're already committed. Stupid clever git now does not want to undo what it's done. Deleting and re-adding the files does not help (it optimizes out the change). Right now, I have to manually re-copy these files whenever I pull from the repo.
What can I do? Report this as a bug and wait for a fix? Somehow delete the commit objects to force git to re-create them? The latter seems difficult/dangerous.
EDIT: I found this nice guide on GitHub for completely deleting a file from a repo. Problem is, I don't really want to remove it from the entire history. Do I have to, or can I do it only for the last commit? If I do it for the last commit, will Git re-find and optimize again?