Remove extraneous file from git.