ci: don't fetch tags when not needed

.github/workflows/clang-diff-format.yml

@@ -11,7 +11,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
       - name: Fetch git
-        run: git fetch -fu origin develop:develop
+        run: git fetch --no-tags -fu origin develop:develop
       - name: Run Clang-Format-Diff.py
         run: |
           git diff -U0 origin/develop -- $(git ls-files -- $(cat test/util/data/non-backported.txt)) | ./contrib/devtools/clang-format-diff.py -p1 > diff_output.txt

.github/workflows/lint.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Initial setup
         run: |
           git config --global --add safe.directory "$PWD"
-          git fetch -fu origin develop:develop
+          git fetch --no-tags -fu origin develop:develop
         shell: bash
 
       - name: Run linters

.github/workflows/merge-check.yml

@@ -28,9 +28,9 @@ jobs:
           if [[ "${{ github.ref_name }}" == "master" ]]; then
             echo "Already on master, no need to check --ff-only"
           else
-            git fetch origin master:master
+            git fetch --no-tags origin master:master
             if [[ "${{ github.event_name }}" == "pull_request"* ]]; then
-              git fetch origin ${{ github.event.pull_request.base.ref }}:base_branch
+              git fetch --no-tags origin ${{ github.event.pull_request.base.ref }}:base_branch
               git checkout base_branch
               git pull --rebase=false origin pull/${{ github.event.pull_request.number }}/head
               git checkout master