Use push

Author: floatdrop

.github/workflows/ci.yaml

@@ -29,17 +29,12 @@ jobs:
         id: verify-changed-files
         with:
           files: README.md
-      - name: Commit changes
+      - name: Commit and push changes
         if: steps.verify-changed-files.outputs.files_changed == 'true'
         run: |
           git config --local user.email "action@github.com"
           git config --local user.name "GitHub Action"
           git add README.md
           git commit -m "chore: Updated coverage badge."
-      - name: Push changes
-        if: steps.verify-changed-files.outputs.files_changed == 'true'
-        uses: ad-m/github-push-action@master
-        with:
-          github_token: ${{ github.token }}
-          branch: ${{ github.head_ref }}
+          git push