did rm instead of git rm: removed extraneous files from git