)]}'
{
  "commit": "037109d48327cb65d8a897c00395784a2c3a1063",
  "tree": "d8179df76bd37246c61c613b3dae58aa98f44c03",
  "parents": [
    "b4d4e371d263c827659efeaeb0f09d03e4fcfe19"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 05 21:10:30 2026 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 05 21:10:30 2026 +1100"
  },
  "message": "fix: use mathlib-lean-pr-testing app for PR comments\n\nThis PR fixes the PR release workflow which was failing due to the\ndeprecated `MATHLIB4_COMMENT_BOT` PAT being invalid.\n\nChanges:\n- Generate a token from the `mathlib-lean-pr-testing` GitHub App for\n  posting comments to Lean PRs about mathlib compatibility\n- Use `GITHUB_TOKEN` for read-only label fetching\n- Update the bot username check from `leanprover-community-bot` to\n  `mathlib-lean-pr-testing[bot]`\n\nRequires `MATHLIB_LEAN_PR_TESTING_APP_ID` and\n`MATHLIB_LEAN_PR_TESTING_PRIVATE_KEY` secrets (now added).\n\nCo-Authored-By: Claude Opus 4.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f67aed7554b007d065ebdc819143ca6f68f3c073",
      "old_mode": 33188,
      "old_path": ".github/workflows/pr-release.yml",
      "new_id": "91529e2b90adbdf3d3d5cebf1552b7413d93c2de",
      "new_mode": 33188,
      "new_path": ".github/workflows/pr-release.yml"
    }
  ]
}