)]}'
{
  "commit": "ea31f86b7c1036cbb4f6ff8ba454345d4e8cb1a7",
  "tree": "9836e1d36248b2e6288f3a07d6d62e61ef873b7c",
  "parents": [
    "c3a45354de0d66b243e6f88108c84445af4e6c78"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 14 13:03:20 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 14 13:27:38 2022 +0100"
  },
  "message": "feat: make `#check \u003cident\u003e` always show the signature without elaboration\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2c6a26cb0705ce6a00d871016de8ff32beb5494b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "9a39fe8feef8cf03a6077ad3e5d7d6e8a784591f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "modify",
      "old_id": "6b6ee12c782529b5d9f4fbaa9e02f151c6fa5d3d",
      "old_mode": 33188,
      "old_path": "tests/lean/1026.lean",
      "new_id": "c9b15c96d631e847cf0491af4f965542b2574a6d",
      "new_mode": 33188,
      "new_path": "tests/lean/1026.lean"
    },
    {
      "type": "modify",
      "old_id": "c689743222b48b4e0b5f09898e6a81acf93942aa",
      "old_mode": 33188,
      "old_path": "tests/lean/1098.lean",
      "new_id": "025806205ccd2db7d516264a54f446de40d2c0af",
      "new_mode": 33188,
      "new_path": "tests/lean/1098.lean"
    },
    {
      "type": "modify",
      "old_id": "0e7384100d8b7f099067bd82d3971f639389be47",
      "old_mode": 33188,
      "old_path": "tests/lean/604.lean.expected.out",
      "new_id": "09ab311dd92ee5ea336130219e6d284cbfcff7ec",
      "new_mode": 33188,
      "new_path": "tests/lean/604.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "1010ce36fc8e55a20df266ee4644bd5a24a54cab",
      "old_mode": 33188,
      "old_path": "tests/lean/714.lean.expected.out",
      "new_id": "3b2a4c436894918a144561b818dd4adefd8158a0",
      "new_mode": 33188,
      "new_path": "tests/lean/714.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "195fb2bf852661e0d9fedf8a46d8da315d35b920",
      "old_mode": 33188,
      "old_path": "tests/lean/974.lean",
      "new_id": "0be5d5203b6649a7e2e4fc99e6fd160d8eaf0660",
      "new_mode": 33188,
      "new_path": "tests/lean/974.lean"
    },
    {
      "type": "modify",
      "old_id": "3f88415f8622a2009bf2a10a8c3721ac21abd932",
      "old_mode": 33188,
      "old_path": "tests/lean/986.lean",
      "new_id": "b5ba6793e2852d0422382c30ecc04ebe218597d0",
      "new_mode": 33188,
      "new_path": "tests/lean/986.lean"
    },
    {
      "type": "modify",
      "old_id": "63df043f4614a28fdb159952e7ae7d0b67775d73",
      "old_mode": 33188,
      "old_path": "tests/lean/LE.lean",
      "new_id": "cecf470432f5f4245122c35fe5f21f3bc01dea54",
      "new_mode": 33188,
      "new_path": "tests/lean/LE.lean"
    },
    {
      "type": "modify",
      "old_id": "7352980ebf380c74ba7ae5589fa5ca8e3321c94f",
      "old_mode": 33188,
      "old_path": "tests/lean/autoBoundImplicits1.lean",
      "new_id": "bd3bfc9f7c97ae92662e21d3aa7008a3c0ab8e1d",
      "new_mode": 33188,
      "new_path": "tests/lean/autoBoundImplicits1.lean"
    },
    {
      "type": "modify",
      "old_id": "09869920fa25afc1b0fd482dcadb4ffdfab7b402",
      "old_mode": 33188,
      "old_path": "tests/lean/autoBoundImplicits2.lean.expected.out",
      "new_id": "e2c4fb154ded74c3908f1f88d3d8996159bce193",
      "new_mode": 33188,
      "new_path": "tests/lean/autoBoundImplicits2.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "b5b40e657571125f30e95a995b40c9b0beefe9ce",
      "old_mode": 33188,
      "old_path": "tests/lean/autoImplicitChainNameIssue.lean",
      "new_id": "258cb270ed72acc1af4f438d48a86068f98a4888",
      "new_mode": 33188,
      "new_path": "tests/lean/autoImplicitChainNameIssue.lean"
    },
    {
      "type": "modify",
      "old_id": "fd4b9dec2456d71c1d66284fa6dbd8bbf86b5ae3",
      "old_mode": 33188,
      "old_path": "tests/lean/autoIssue.lean",
      "new_id": "a400028baacb7c1bfb4b74f2880b700327517574",
      "new_mode": 33188,
      "new_path": "tests/lean/autoIssue.lean"
    },
    {
      "type": "modify",
      "old_id": "37e7de1b649320145143b91fc107f9fd260a3cb0",
      "old_mode": 33188,
      "old_path": "tests/lean/binderCacheIssue.lean.expected.out",
      "new_id": "af30f8320cd96c63ef83223512b827ef1a0cbc9e",
      "new_mode": 33188,
      "new_path": "tests/lean/binderCacheIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "c55ec46566eecfa38333cf7bacbd24c1f80e36ae",
      "old_mode": 33188,
      "old_path": "tests/lean/ctorUnivTooBig.lean",
      "new_id": "b7248e31fa89c46ce33d854f00ca1d78e91125f4",
      "new_mode": 33188,
      "new_path": "tests/lean/ctorUnivTooBig.lean"
    },
    {
      "type": "modify",
      "old_id": "de5eb9233ff42009359beb9f9aa10636fa581087",
      "old_mode": 33188,
      "old_path": "tests/lean/derivingRpcEncoding.lean",
      "new_id": "e2383b903d50f2e0d6e55ca32c54aae9b17d9fb8",
      "new_mode": 33188,
      "new_path": "tests/lean/derivingRpcEncoding.lean"
    },
    {
      "type": "modify",
      "old_id": "5493ddb7894acc23908469907b8bb17376ed48ce",
      "old_mode": 33188,
      "old_path": "tests/lean/diamond2.lean",
      "new_id": "42cbf3ac98bd86f4c041363d6c2c23a0ded8923c",
      "new_mode": 33188,
      "new_path": "tests/lean/diamond2.lean"
    },
    {
      "type": "modify",
      "old_id": "c08e3189880428b8b082ce61e50765e8e5efdc0c",
      "old_mode": 33188,
      "old_path": "tests/lean/diamond5.lean",
      "new_id": "f359a4bb623c48d590ce553b7775f5540d6dfdf3",
      "new_mode": 33188,
      "new_path": "tests/lean/diamond5.lean"
    },
    {
      "type": "modify",
      "old_id": "27b97860967dd2ee46b342dcf172c40f4e4ff703",
      "old_mode": 33188,
      "old_path": "tests/lean/diamond6.lean",
      "new_id": "50ebd663f3ca438282899f5f5aebbdcd5d6f7ea2",
      "new_mode": 33188,
      "new_path": "tests/lean/diamond6.lean"
    },
    {
      "type": "modify",
      "old_id": "1afb70a2e2a6c3e382050f85ef1690093280c96f",
      "old_mode": 33188,
      "old_path": "tests/lean/diamond7.lean",
      "new_id": "df96abc8dca19e7b2507f0d0f12a6d4bbbe77ce0",
      "new_mode": 33188,
      "new_path": "tests/lean/diamond7.lean"
    },
    {
      "type": "modify",
      "old_id": "34a8b68ffe726b8832cd0fd28089f968bd8ae0ab",
      "old_mode": 33188,
      "old_path": "tests/lean/heapSort.lean",
      "new_id": "a92bcca95af20d3558024e987706ab971b1b6324",
      "new_mode": 33188,
      "new_path": "tests/lean/heapSort.lean"
    },
    {
      "type": "modify",
      "old_id": "46153e2075b2522d9bf012d570a831d4fd2ff0c8",
      "old_mode": 33188,
      "old_path": "tests/lean/levelNGen.lean",
      "new_id": "c071d396f088ab44b90c50fe00e55c4b26ee3d1e",
      "new_mode": 33188,
      "new_path": "tests/lean/levelNGen.lean"
    },
    {
      "type": "modify",
      "old_id": "d03dedefc340894d566eb8a3335c26f21f41035d",
      "old_mode": 33188,
      "old_path": "tests/lean/match1.lean.expected.out",
      "new_id": "ec02890f188b3c0452001eb69df5f2e24204ae44",
      "new_mode": 33188,
      "new_path": "tests/lean/match1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "c030cde018d7456f28b138773481f062339abc42",
      "old_mode": 33188,
      "old_path": "tests/lean/openScoped.lean",
      "new_id": "9b8e02ef984e8aaf5b4fe1d840038cffda062378",
      "new_mode": 33188,
      "new_path": "tests/lean/openScoped.lean"
    },
    {
      "type": "modify",
      "old_id": "966271cb6776e9c1308f063a7588f8d163840b5e",
      "old_mode": 33188,
      "old_path": "tests/lean/openScoped.lean.expected.out",
      "new_id": "b44c5cfebe47454f73322105b59eefbcc0b21f27",
      "new_mode": 33188,
      "new_path": "tests/lean/openScoped.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "24a48746ba2b9df2dedb992e5913b3918a5b4fda",
      "old_mode": 33188,
      "old_path": "tests/lean/precissues.lean.expected.out",
      "new_id": "3dd4b22ee64f1273052afe967193d8575cd18ac8",
      "new_mode": 33188,
      "new_path": "tests/lean/precissues.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "ac30de9c068898eec0599b544c4d41dd67e2a4ba",
      "old_mode": 33188,
      "old_path": "tests/lean/sizeof.lean",
      "new_id": "c82a953cd7c828022c57c8424640f2f7013c71fd",
      "new_mode": 33188,
      "new_path": "tests/lean/sizeof.lean"
    },
    {
      "type": "modify",
      "old_id": "de6fe0a879e7129591c70040770dc89d84c60701",
      "old_mode": 33188,
      "old_path": "tests/lean/strictImplicit.lean.expected.out",
      "new_id": "d56a1b982e415fe38b502271119c83c489a39a31",
      "new_mode": 33188,
      "new_path": "tests/lean/strictImplicit.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "94c6942cee9da32fbd2347e6d91937a3b3776576",
      "old_mode": 33188,
      "old_path": "tests/lean/varBinderUpdate.lean",
      "new_id": "2710b16bdbead5b69a8e9cb2af4b58f3707fdcc0",
      "new_mode": 33188,
      "new_path": "tests/lean/varBinderUpdate.lean"
    }
  ]
}