)]}'
{
  "commit": "7f0b4824a477b6288f0add6fb5f8e977b7cd1a8e",
  "tree": "2918f94d02689d7f269e1230c27589fb53877938",
  "parents": [
    "93cd2bac7629a6e7bba97e6f210f9103e0e85194"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 26 10:54:23 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 26 11:08:32 2022 +0200"
  },
  "message": "fix: `levelMVarToParam` must update `levelNames`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a7b09849a3e0e6ae236e0362703a673e5554d1b4",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "70785f8adfde2722a9ef331e946bda405d27075f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "modify",
      "old_id": "aeef19c15494f7ee3988265cb9487d92d12ef10d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Declaration.lean",
      "new_id": "8f6d2a2c5507cedd4c20731ebbff50e6f6fcc875",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Declaration.lean"
    },
    {
      "type": "modify",
      "old_id": "eecaa6c14780c40ac3cd2225daf2806352ccc8b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Inductive.lean",
      "new_id": "7a31bc993f0aae5ee4442aabdd75ce1e3991d453",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Inductive.lean"
    },
    {
      "type": "modify",
      "old_id": "893b2ca986691b7e38fce796d82b4b9237e58590",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "963775dcf7466e3840e3ab8fca57e88f414e06aa",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "bc75208e54ba00060f143187eb43cce6d8cb253b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Basic.lean",
      "new_id": "de87fc6ab774a3fe74847ed377a10668f0ca1877",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "b0a91900fe99c2d93c3230fda58e5a4f6d874c7e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "bc4a1af71ece9625a93b7cb7c4e6776d35717893",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "modify",
      "old_id": "c621a0c0303179766d8cb7c19bad36ef6a8b3cc4",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "b13f4c26cd1bcfb248b66075eba38a5a8607e909",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "cf342aedc9069b638db03d6480d9878a7316dd6f",
      "old_mode": 33188,
      "old_path": "tests/lean/levelNGen.lean",
      "new_id": "46153e2075b2522d9bf012d570a831d4fd2ff0c8",
      "new_mode": 33188,
      "new_path": "tests/lean/levelNGen.lean"
    },
    {
      "type": "modify",
      "old_id": "b5c2833e23cdd92b934cfe8da5265b8592831503",
      "old_mode": 33188,
      "old_path": "tests/lean/levelNGen.lean.expected.out",
      "new_id": "bc952cb9b7cbfe1841c54a313974bed157e0e079",
      "new_mode": 33188,
      "new_path": "tests/lean/levelNGen.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "668e7b39f9be2c6614f6fa676e06bfec24d2fe16",
      "old_mode": 33188,
      "old_path": "tests/lean/run/PPTopDownAnalyze.lean",
      "new_id": "ebdbd1cad596f59e4e7f997bb0b86227481d5e84",
      "new_mode": 33188,
      "new_path": "tests/lean/run/PPTopDownAnalyze.lean"
    }
  ]
}