Do not load submodules

.github/workflows/ci_submodule.yml

@@ -15,15 +15,15 @@ jobs:
     - name: Checkout source code for base
       uses: actions/checkout@v4
       with:
-        submodules: true
+        submodules: false
         path: base
 
     - name: Checkout source code for head
       uses: actions/checkout@v4
       with:
         repository: ${{ github.event.pull_request.head.repo.full_name }}
         ref: ${{ github.event.pull_request.head.ref }}
-        submodules: true
+        submodules: false
         path: head
 
     - name: Determine hashes to compare
@@ -39,16 +39,17 @@ jobs:
         cd head
         git fetch origin "${PR_BRANCH}" --recurse-submodules=no \
         || error "__Line:${LINENO}__Error: Could not fetch history of ${PR_BRANCH}"
+        echo "HEAD_SC_HASH=`git log -n1 sc | awk '{ print $2 }'`" >> $GITHUB_ENV
         cd ../base
         git fetch origin "${BASE_BRANCH}" --recurse-submodules=no \
         || error "__Line:${LINENO}__Error: Could not fetch history of ${BASE_BRANCH}"
+        echo "BASE_SC_HASH=`git log -n1 sc | awk '{ print $2 }'`" >> $GITHUB_ENV
         cd ..
 
     - name: Convert PR to draft if necessary
       shell: bash
       run: |
-        CHANGED=`git diff --name-only --no-index -- "${GITHUB_WORKSPACE}"/base/ "${GITHUB_WORKSPACE}"/head/` || true
-        if grep "^${INPUT_PATH}$" <<< "${CHANGED}"; then
+        if [[ "x$HEAD_SC_HASH"="x$BASE_SC_HASH" ]]; then
           echo "${TOKEN}" | gh auth login --with-token
           gh pr comment ${PR} --body \
           "Submodule has been changed by this PR. \