CI: how to check for modification of files
Should we restrict
check_modified_file.sh to only look for changes in
common and DSID directories?
- easier to use for developers (they don't have to commit with
- More unsafe (e.g. commit of jO with high priority comes in with checks in scripts that have been commented out due to failures, gets merged in master and as a result the checks are disabled for everyone)