在执行git push时，由于大文件问题而卡住了，所以我遵循了该线程的第一个答案：
Can't push to GitHub because of large file which I already deleted
git filter-branch --index-filter 'git rm -r --cached --ignore-unmatch <file/dir>' HEAD
未知，我没有给出造成问题的大文件路径，而是给出了整个文件夹路径，因此此命令从本地设备以及GitHub存储库上的所有先前提交中删除了该文件夹。我正在使用ubuntu18。
是否有直接方法从本地设备或git repo恢复已删除的文件夹？