老师，3-4课程中说手动删除和使用git rm 删除文件之后都要Git add、git commit来删除版本库中的文件，但是据我所知，git rm 可以删除工作区的文件并且将这个删除放入暂存区，也就是说可以不用Git add，直接使用git commit吧