[git] How to revert a "git rm -r ."?