.github/workflows: delete unnecessary 'git config' calls
No git commits happening here.
diff --git a/.github/workflows/queue-main.yml b/.github/workflows/queue-main.yml
index 5f532a4..b3201af 100644
--- a/.github/workflows/queue-main.yml
+++ b/.github/workflows/queue-main.yml
@@ -45,16 +45,12 @@
- name: Push to main
run: |
- git config --global user.name "GitHub Actions Bot"
- git config --global user.email "actions@github.com"
-
- # Use the formatted commit SHA if available, otherwise use HEAD
COMMIT_TO_PUSH="HEAD"
if [[ "${{ needs.formatting.outputs.commit_sha }}" != "" ]]; then
echo "Using formatted commit: ${{ needs.formatting.outputs.commit_sha }}"
COMMIT_TO_PUSH="${{ needs.formatting.outputs.commit_sha }}"
fi
-
+
git push https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/boldsoftware/sketch.git "${COMMIT_TO_PUSH}":main
env:
GITHUB_TOKEN: ${{ github.token }}