I need to reset my HEAD to where it was before the most recent pull.
I believe what I need to do is:
git reset --hard HEAD@{1}
But here is what git tells me.
fatal: ambiguous argument 'HEAD@1': unknown revision or path not in the working tree.
Use '--' to separate paths from revisions, like this:
'git <command> [<revision>...] -- [<file>...]'
Fish was stripping { and }
Bash works fine.