--ignore-promoted-rules has no effect on copy_files

[eponier]

Actual Behavior

The documentation of copy_files refers to this page about modes specifying that --ignore-promoted-rules ignores rules with (mode promote), but this not true for copy_files.

Expected Behavior

I do not know if the proper fix is to change the code or change the documentation. In the first option, the code to change is here.

[emillon]

Good catch. The tricky part in fixing that is determining if we need to version the fix or not.