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