diff --git a/.ci/print-diff-as-patch.sh b/.ci/print-diff-as-patch.sh old mode 100644 new mode 100755