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?

Pros

• easier to use for developers (they don't have to commit with [skip modfiles])

Cons

• 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)