← Back to context Comment by hadlock 9 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.