After a pull i decided to reverse it using: git reset HEAD --hard and got the message:
fatal: Cannot do hard reset with paths.
This makes no sense to me as:
- I’m in the subdirectory where the git repository resides
- there are no git repositories higher in the directory chain
- a co-worker got it to work