追跡からファイルを削除して、git rm <file>
または、ファイルを保持して追跡から削除したい場合は、使用できますgit rm --cached <file>
but what are the repercussions of this when I push it to the repository and other people pull from it? Makes sense that git rm --cached <file>
would just remove it from tracking for everyone and they still have the file in their directory, but what about git rm <file>
, will it just remove the file from tracking for other users or will it delete the actual file for them once they pull as well?