Sascha Cunz [off-list ref] writes:
Ok, so repository and working directory are simply not meant to be on
different file systems. Thanks for the clarification.
I did not mean "and that is a rule we need to enforce and keep
forever". I was just answering your (implied) question "why does
code comment, behaviour and documentation disagree?", to give a data
point that would be useful when discussing what the ideal behaviour
should be.