Я удалил файл в моем локальном репозитории Git. Я хочу вернуть файл, обновив репозиторий Git.

Я запускаю следующее безуспешно

git pull

Там написано upToDate, но я не получил новейший файл. Публичное репо на github не использует SVN, поэтому проблема не может быть в SVN.

Как вы можете обновить местное Git-репо, так что вы удалили удаленный файл обратно на компьютер?