Always undone changes to files like git checkout somefile
- but stumbled upon git checkout -- somefile
instead, and wondered WTF mate.
Meaning of Git checkout double dashes
https://stackoverflow.com/questions/13321458/meaning-of-git-checkout-double-dashes/13321491#13321491