ci: Use github "checkout" action to pull from git repo

Instead of running `git fetch` in a separate script, we specify
`fetch-depth: 0` in the github workflow.

Author: NickeZ

.ci/run-container-ci

@@ -41,11 +41,6 @@ if [ -z "${WORKSPACE_DIR}" ]; then
 fi
 
 TARGET_BRANCH="${2:-master}"
-
-# Fetch origin/master so that we can diff when checking coding style.
-git remote set-branches --add origin ${TARGET_BRANCH}
-git fetch origin
-
 TARGET_BRANCH=origin/${TARGET_BRANCH}
 
 # The safe.directory config is so that git commands work. even though the repo folder mounted in

.github/workflows/ci.yml

@@ -14,6 +14,8 @@ jobs:
       - name: Clone the repo
         uses: actions/checkout@v4
         with:
+          fetch-depth: 0
+          fetch-tags: true
           submodules: recursive
       - name: Pull CI container image
         run: ./.ci/run-container-ci pull

.github/workflows/pr-ci.yml

@@ -12,6 +12,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
+          fetch-depth: 0
 
       - name: Pull container image
         run: ./.ci/run-container-ci pull