yes, that's true. But couldn't we do that in another proposal? I would like not to more topics to this proposal. WorkDirCheckout was not handling it and this proposal is about a port of the semantics of WorkDirCheckout. I agree think we should not make use of this Checkout without racy git situations are handled.