check: Use Git attributes to determine if a file is a Git LFS file

doc.zih.tu-dresden.de/util/check-filesize.sh

@@ -34,11 +34,11 @@
 large_files_present=false
 branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}"
 source_hash=`git merge-base HEAD "${branch}"`
-lfsfiles=$(git lfs ls-files -n)
 
 for f in $(git diff --name-only --diff-filter=d ${source_hash}); do
     # Do not check size of git lfs files.
-    if [[ ${lfsfiles} =~ "${f}" ]]; then
+    filter_attribute=$(git check-attr filter -- "${f}")
+    if [[ "${filter_attribute#*: filter: }" = "lfs" ]]; then
         echo "Skip file ${f} because it is a git lfs file."
         continue
     fi