Récupérer le fichier supprimé de git après la validation

J'ai validé un fichier dans mon git local, puis je l'ai poussé vers github.

J'ai exécuté les commandes suivantes pour supprimer ce fichier, puis je l'ai poussé vers github:

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

J'ai alors réalisé que je voulais récupérer le fichier. J'ai essayé les instructions décrites ici: https://www.quora.com/How-can-I-recover-a-file-I-deleted-in-my-local-repo-from-the-remote-repo-in-Git

J'ai exécuté la commande suivante :

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

Qui m'a donné un hachage pour le version qui avait mon fichier: HASH. Que j'ai ensuite utilisé dans la commande suivante :

git checkout HASH^ file.txt

Qui m'a alors donné l'erreur suivante:

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

Heureusement, j'ai pu aller sur github et récupérer tous mes fichiers à partir de là, mais je ne sais toujours pas comment le faire localement, ni même si c'est possible.