https://www.git-tower.com/learn/git/faq/restoring-deleted-files/