Avoid conflict with (lower-case) demand.csv.gz on case-insensitive file systems (e.g. macOS).
I rename the file instead of deleting it because it's somewhat tedious to either (a) recreate or (b) go back into the Git history to later retrieve it, and there's no impact of keeping the renamed file around.
Avoid conflict with (lower-case) demand.csv.gz on case-insensitive file systems (e.g. macOS). I rename the file instead of deleting it because it's somewhat tedious to either (a) recreate or (b) go back into the Git history to later retrieve it, and there's no impact of keeping the renamed file around.
Closes #168.
How to review
Note that the CI checks all pass.
PR checklist