[hadlock]

Probably something like this; git reset --hard HEAD

[optimalsolver]

Thanks for the chuckle.