Optimize CI workflow by removing redundant git commands

Removed unnecessary git pull and fetch commands from CI workflow.

Author: vboutrou

.github/workflows/ci.yml

@@ -115,8 +115,6 @@ jobs:
         run: |
           git config user.name "${{ github.workflow }} by ${{ github.actor }}"
           git config user.email "<>"
-          git pull
           git add Images/TestedWith.json
           git commit Images/TestedWith.json -m "Update CI badges ${{  github.ref_name }}"
-          git fetch
           git push