I have deleted all the contents inside a folder and the folder is empty. I still had a copy in my remote repo. But when I did a git pull it didn\'t put back the
git pull
As of git 2.24.0, there's an experimental new git command: git restore
git restore --staged some/deleted/folder