f

.github/workflows/pr-failure-codex-dispatch.yml

@@ -26,26 +26,15 @@ jobs:
           PR_NUMBER: ${{ github.event.workflow_run.pull_requests[0].number }}
           GH_TOKEN: ${{ github.token }}
         run: |
-          pr_json=$(gh api -H "Accept: application/vnd.github+json" \
-            /repos/${{ github.repository }}/pulls/${PR_NUMBER})
-          pr_author=$(printf "%s" "$pr_json" | python3 - <<'PY'
-          import json,sys
-          data=json.load(sys.stdin)
-          print(data.get("user",{}).get("login",""))
-          PY
-          )
-          pr_head_repo=$(printf "%s" "$pr_json" | python3 - <<'PY'
-          import json,sys
-          data=json.load(sys.stdin)
-          print(data.get("head",{}).get("repo",{}).get("full_name",""))
-          PY
-          )
-          pr_head_branch=$(printf "%s" "$pr_json" | python3 - <<'PY'
-          import json,sys
-          data=json.load(sys.stdin)
-          print(data.get("head",{}).get("ref",""))
-          PY
-          )
+          pr_author=$(gh api -H "Accept: application/vnd.github+json" \
+            /repos/${{ github.repository }}/pulls/${PR_NUMBER} \
+            --jq '.user.login')
+          pr_head_repo=$(gh api -H "Accept: application/vnd.github+json" \
+            /repos/${{ github.repository }}/pulls/${PR_NUMBER} \
+            --jq '.head.repo.full_name')
+          pr_head_branch=$(gh api -H "Accept: application/vnd.github+json" \
+            /repos/${{ github.repository }}/pulls/${PR_NUMBER} \
+            --jq '.head.ref')
           {
             echo "number=${PR_NUMBER}"
             echo "author=${pr_author}"
@@ -155,7 +144,9 @@ jobs:
             echo "No changes to commit."
             exit 0
           fi
+          rm -f codex_failure_summary.txt codex_prompt.txt
           git add -A
+          git reset -- codex_failure_summary.txt codex_prompt.txt
           git commit -m "Fix CI failures for PR #${PR_NUMBER}"
           git push origin HEAD:${TARGET_BRANCH}