Martin Schroschk
--- a/doc.zih.tu-dresden.de/util/check-filesize.sh
+++ b/doc.zih.tu-dresden.de/util/check-filesize.sh
 branch="origin/${CI_MERGE_REQUEST_TARGET_BRANCH_NAME:-preview}"
 source_hash=`git merge-base HEAD "$branch"`

-for f in $(git diff $source_hash --name-only); do    
+for f in $(git diff $source_hash --name-only); do
+    # Do not check size of git lfs files.
+    # This is a bit "Going around your elbow to get to your ear" by assuming that lfs files are
+    # ending with webm or mp4
+    if [[ "$f" =~ .*".webm" ]] || [[ "$f" =~ .*".mp4" ]] ; then