)]}'
{
  "commit": "79ddac55d9f9473fbfd8207d24f980c9a8c85b48",
  "tree": "5492a28c057d61dbad46181aa86f4cc49ba398c1",
  "parents": [
    "27c79cb6147b68c666292503919927055c923188"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 29 20:39:06 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 29 20:41:43 2024 -0700"
  },
  "message": "chore: rename `set_option diag true` to `set_option diagnostics true`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a4df43ea5eb58a3d0a70d11a486e10a9cc4ba3e2",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "d462016a91bb799144f00ba7af0946d2b2419eff",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "21fb2df03f37cae6aa9353603e969950c1520d29",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "2bdb93ffc3e94989ffe8ca3f452c2d4a30e39d92",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "5592499024b17af513c5cd916e73e39c947bfa24",
      "old_mode": 33188,
      "old_path": "tests/lean/run/diagRec.lean",
      "new_id": "3c5d04011b05cc1694e140f5314be19dbb00b68d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/diagRec.lean"
    }
  ]
}