Flummoxed by IT: Remove file from git repository but not from working directory