git-rm Documentation, Git Community, 2023 - This is the official reference for the git rm command, describing its usage and options, including --cached.
gitignore Documentation, Git Community, 2023 - Provides instructions on how to effectively exclude files from Git tracking using the .gitignore file, which is important after git rm --cached.