Add option disallow-copy-paths
to track down unnecessary copying#11746
Draft
roberth wants to merge 4 commits intoNixOS:master from hercules-ci:disallow-copy-paths
+102-5
disallow-copy-paths
to track down unnecessary copying#11746