)]}'
{
  "commit": "9914e1bf6c79eb84f27c689e81a5fd5cb4a27d72",
  "tree": "191579705e5a62639cfa594377cac93b85c4c8ec",
  "parents": [
    "8a302e6135bc1b0f1f2901702664c56cd424ebc2"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Apr 13 12:22:45 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Apr 13 12:22:45 2023 +0200"
  },
  "message": "perf: cache trace option existence\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8776e19cb8eb81cf458b520eafff54cdaf51c6e0",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Main.lean",
      "new_id": "c5e994830dd334f404dbfe87b4ca230873a8853d",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "ebc31b72e18291f84ead565073625d8f2db75382",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Format.lean",
      "new_id": "b39b87477a6edb85f809f6eb63c401d64e363498",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "dbc41f4a2c9b6cbaecfb6d4cf310693034808c8e",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Options.lean",
      "new_id": "b66f4bf5a8de674a2e9d0408c8bf1a9ebcc1a3cf",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Options.lean"
    },
    {
      "type": "modify",
      "old_id": "90184b825eb25919f4e1e63bea2f6ec0ffa19a28",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "1948c65f9530840ad570e86a07ba05e7e6b4b7af",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "modify",
      "old_id": "f3d98d0587b2cedffd9fdc80bb8e6bc47b747df7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Inductive.lean",
      "new_id": "6027ab7cba302596f59be77607f355189b56608a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Inductive.lean"
    },
    {
      "type": "modify",
      "old_id": "29b70ffc67033766af6bd507c20165e6d59d8644",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/SetOption.lean",
      "new_id": "dea6d6917ef280415ad127a791bb3306ec54ddf1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/SetOption.lean"
    },
    {
      "type": "modify",
      "old_id": "5165eb64c5937809847ae2497017cc37255e40f5",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extension.lean",
      "new_id": "69e7e4eccf132f03b20e7fd233c9a6840c1e7616",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extension.lean"
    },
    {
      "type": "modify",
      "old_id": "2e1ebeb6ada3a68f1ff2ca672c0925d0d75dd875",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/Basic.lean",
      "new_id": "2ebdc66a6bb8d93337a2742057de2370862ddbbd",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a7532394088200bba2417dd02b0eeb9f35a0a9e5",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean",
      "new_id": "b8867f8f6063ff27c9857da609a012ea982a4f8e",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean"
    },
    {
      "type": "modify",
      "old_id": "ee89be8e3080bbeff9c6a5a8f23c39f00af23a71",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean",
      "new_id": "b8d3d4c3cb5e3fa5097215c8f02e8c0ae87e7c41",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean"
    },
    {
      "type": "modify",
      "old_id": "0e56e8a90827f9ead727eaf274a35cd6c08a36e5",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Trace.lean",
      "new_id": "3203d05c14a193b10c82cfdf999cfbc47f660deb",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Trace.lean"
    },
    {
      "type": "modify",
      "old_id": "fdd5f3a7e002b79829bc47d801e644e02a85facb",
      "old_mode": 33188,
      "old_path": "tests/lean/Reformat.lean",
      "new_id": "d36b198275d913e612a5c19ff98091319b688459",
      "new_mode": 33188,
      "new_path": "tests/lean/Reformat.lean"
    }
  ]
}