In practice, should I only use "git rm"?
In the video, we deleted the file with "rm tin.html". Then we used "git rm" to stage the removal of the file from the repository. Correct? Then we committed that change.
Does "git rm" remove the file like "rm tin.html" did? Or, does it only operate on the repository?
Finally, in practice what are the typical steps of a developer, using Git, removing a file from a coding project?