)]}'
{
  "commit": "7b59c38963846d3a00486700eb4a0c1f3ba2656e",
  "tree": "f64b376eaea6d303faf361c1c639e4173b98b219",
  "parents": [
    "58943bc4d63713101e5f826dd9fe8c8afda46382"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 28 13:16:16 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Dec 28 16:17:00 2024 -0800"
  },
  "message": "feat: add `appMap` field to `Goal`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5f38815ec0111722b6d54f0b62f720d832087657",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "32d1de928af2267be9ca3a0e87d1a15090cb8640",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "3cdbb09176bd72c1768355b840305bab5e6bec17",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "edc96c5db537a39c1feefd19389d8e0662aa1f15",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}