Восстановить удаленный файл из git после фиксации

Я записал файл в свой локальный git, а затем отправил его на github.

Я выполнил следующие команды, чтобы удалить этот файл, а затем отправил его на github:

git rm file.txt
git commit -m remove file.txt
git push -u github master

Затем я понял, что хочу получить файл обратно. Я попробовал выполнить инструкции, изложенные здесь: https://www.quora.com/How-can-I-recover-a-file-I-deleted-in-my-local-repo-from-the-remote-repo-in-Git

Я выполнил следующую команду:

git rev-list -n 1 HEAD -- file.txt

, Который дал мне хэш для версия, в которой был мой файл: ХЭШ. Который я затем использовал в следующей команде:

git checkout HASH^ file.txt

, Который затем выдал мне следующую ошибку:

error: pathspec 'file.txt' did not match any file(s) known to git

К счастью, я смог зайти на github и восстановить все свои файлы оттуда, но я до сих пор не знаю, как это сделать локально, или даже если это возможно.