So if the files were never present in Git history, and I've used `git reset --hard`, it's not possible to get them back?