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