do hard Git reset