git diff --quiet HEAD $REF -- $DIR || echo changed