From 1e1dd735bc0fb614e061b776aa934162ede7599c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?= <mose@gnu.org>
Date: Thu, 25 Sep 2025 22:27:35 +0100
Subject: [PATCH] [CI] Don't write last commit message on the JAX branch to a
 file

This seems to cause some troubles:
```
Error: Unable to process file command 'env' successfully.
Error: Invalid format 'Diff: https://github.com/jax-ml/jax/compare/4455434869812dfb7336b18f2e59a8690ba38e79...6c1760b695ee770c18f9a8b2f767398294a2c983'
```
Let's simply use regular variables without further complications.
---
 .github/workflows/pr-jax-main.yml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/pr-jax-main.yml b/.github/workflows/pr-jax-main.yml
index 548783423e..3539f0be85 100644
--- a/.github/workflows/pr-jax-main.yml
+++ b/.github/workflows/pr-jax-main.yml
@@ -47,13 +47,16 @@ jobs:
       - name: Modify JAX commit
         run: |
           sed -i 's/JAX_COMMIT = ".*"/JAX_COMMIT = "${{ env.NEW_JAX_COMMIT }}"/' workspace.bzl
-      - name: Get latest commit
-        run: |
-          echo "LATEST_COMMIT_MESSAGE=$(curl -s -H 'Authorization: token ${{ secrets.GITHUB_TOKEN }}' 'https://api.github.com/repos/${{ github.repository }}/commits/${{ env.BRANCH_NAME }}' | jq -r '.commit.message')" >> "${GITHUB_ENV}"
       - name: Decide whether to open the pull request
         id: decide
         run: |
-          if [[ "${{ env.LATEST_COMMIT_MESSAGE }}" == "null" || "${{ env.LATEST_COMMIT_MESSAGE }}" == "${{ env.COMMIT_MSG_PREFIX }}"* ]]; then
+          # Fetch latest commit on the branch
+          LATEST_COMMIT_MESSAGE="$(curl -s -H 'Authorization: token ${{ secrets.GITHUB_TOKEN }}' 'https://api.github.com/repos/${{ github.repository }}/commits/${{ env.BRANCH_NAME }}' | jq -r '.commit.message')"
+          echo "Latest commit message on the branch '${{ env.BRANCH_NAME }}' is:"
+          echo "----------"
+          echo "${LATEST_COMMIT_MESSAGE}"
+          echo "----------"
+          if [[ "${LATEST_COMMIT_MESSAGE}" == "null" || "${LATEST_COMMIT_MESSAGE}" == "${{ env.COMMIT_MSG_PREFIX }}"* ]]; then
               # Open the PR only if the target branch doesn't exist or latest commit message
               # starts with the expected prefix.
               echo "We're going to open the pull request..."