Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

Author: asadali145

.github/workflows/ci.yml

@@ -117,9 +117,12 @@ jobs:
     - name: Clone edx-platform
       if: steps.cache-edx-platform.outputs.cache-hit != 'true'
       run: |
-        git clone --depth=1 --branch=${{ matrix.edx_branch }} \
-          https://github.com/openedx/edx-platform \
-          ${{ github.workspace }}/../edx-platform
+        set -euo pipefail
+        EDX_DIR="${{ github.workspace }}/../edx-platform"
+        git init "$EDX_DIR"
+        git -C "$EDX_DIR" remote add origin https://github.com/openedx/edx-platform
+        git -C "$EDX_DIR" fetch --depth=1 origin "${{ steps.edx-sha.outputs.sha }}"
+        git -C "$EDX_DIR" checkout --detach FETCH_HEAD
 
     - name: Generate edx-platform egg-info (registers Django app entry points)
       run: pip install --no-deps -e ${{ github.workspace }}/../edx-platform