4 ms·Probably something like this; git reset --hard HEADby hadlock 10mo agoProbably something like this; git reset --hard HEADoptimalsolver 10mo agoThanks for the chuckle.