)]}'
{
  "commit": "66799f190e8a9bed6a4a56580af3baadede6703c",
  "tree": "a457d14c20ca526582d9e63a80f584ee81ffc9bb",
  "parents": [
    "d1c2d0bd9c94c2748b3016ba855c8b2d586d248c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 17 18:12:41 2023 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 17 18:24:47 2023 -0800"
  },
  "message": "feat: `seval` tactic skeleton\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b567783ebc068a837142e172baaca3f21762360a",
      "old_mode": 33188,
      "old_path": "src/Init/Tactics.lean",
      "new_id": "fbe8d118c6370d267ff995405e25ac5748d98db2",
      "new_mode": 33188,
      "new_path": "src/Init/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "45026cc2261a1f2fbd5f32fb3ffd91f469f61879",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic.lean",
      "new_id": "742f4b1cfacd5fa95f2802f12ec335a5c8de5499",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7eb938beecb0215fe0de68c0ab06ef00287623b0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/SEval.lean"
    },
    {
      "type": "modify",
      "old_id": "c5e7469c83c1da102826ee523e418237256fd83a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic.lean",
      "new_id": "6ef5cd3dae46aeed967a921500648ccdec077b2c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "61d7d77775e6c785dfe165102245fa7133abca9b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SymEval.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8f87ea9f7cb522bf7f8404fe76706a12d5810a17",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SymEval/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c8e81eea8569b5706da0137d0912e52061c75c56",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SymEval/Types.lean"
    }
  ]
}