Comment by hadlock 2 months ago Probably something like this; git reset --hard HEAD 1 comment hadlock Reply optimalsolver 2 months ago Thanks for the chuckle.
Thanks for the chuckle.