)]}'
{
  "commit": "5788d2245ec069ea9a60880153f04cc22b3a4bc8",
  "tree": "ba50f0dfe11194f049105bf1aa761b7f1fe848fa",
  "parents": [
    "f57745e9d47144505544fcaeb12c72cb7881ea47"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 13 17:38:35 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 13 17:52:51 2025 -0800"
  },
  "message": "chore: display E-matching theorems in `goalToMessageData`\n\nThis PR includes the activated E-matching theorems and their patterns\nin `goalToMessageData`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "536c2ec61367666aeba967a9b809b6042db64473",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/PP.lean",
      "new_id": "c39f06f59419c26892eace467b1e5b94242c054d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/PP.lean"
    }
  ]
}