Pro Git

by Scott Chacon

Rather than remove a specific file with something like rm file, you have to remove it with git rm --cached—you must remove it from the index, not from disk.