Como o professor comenta e aparece para ele o comando git checkout -- "file" desfaz alterações no arquivos. No entanto o essa aula foi gravada numa máquina Windows em outra versão do git.
Aqui no Linux e com git na versão 2.28.0 o mesmo comando mencionado acima é git restore "file".
Só uma observação; Tudo muito bem explicado no terminal.