I have a new repository. I added some files (a,b,c) via
git add .
git commit -m "x"
I realized file c was unnecessary so I looked for the last commit via
git log
with the commit id at hand I did
git revert commit-id
it started deleting all files removing file a b c
How can I restore them? I looked at the log and only the original commit x is in there.
I tried
git checkout HEAD^^ -- .
as per How do I "un-revert" a reverted Git commit?
but I get "Invalid reference HEAD^^"
any ideas?