Use git rm to get rid of extraneous files