Be more restrictive when fetching default branch

We don't want to download the head of every branch in the remote repository, only the default branch.

.github/workflows/buildDockerBuildEnv.yml

@@ -31,7 +31,7 @@ jobs:
       - name: Fetch default branch
         run: |
           git remote set-branches --add origin "${defaultBranch}"
-          git fetch --depth 1
+          git fetch --depth 1 origin "${defaultBranch}"
 
       - name: Check for changes
         id: diff