Behaviour when mapping two source folders to one destination folder

[LMG]

In the case where the following mappings are present:

a = :/a
a = :/b

The contents of the folder should be the contents of :/b ovelaid on :/a. Correct?

Then when pushing, the contents of the destination a should be pushed to :/b, leaving :/a empty (and looking like we deleted them to the source server). Correct?

Unfortunately, this is not the behaviour we observe, and I'm confused as to why.

We see that the extra files from :/a are pushed to :/b, but the other, shadowed files are not modified in any way in either folder.

Any idea?

Also, we definitely need a way to detect and warn about this particular case, in the workspace warnings API. This is a feature which is useful in some cases (pulling a bunch of folders into one) but almost always unwanted in a workspace.josh.

[LMG]

I suppose this relates to this: https://github.com/josh-project/josh/blob/master/tests/filter/workspace_shadow_file.t and the behaviour changed recently with the unapply of exclude. So maybe that explains that?