)]}'
{
  "commit": "893937f4cc4a10b793f0fdca74488270b834908a",
  "tree": "011a306cd9c23e35df3b3ff48dcc79b5f2c2030c",
  "parents": [
    "5779e4e58daf29ce99dc044d016c4e89990f4ad8"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 18:36:15 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 23:13:04 2021 +0200"
  },
  "message": "feat: notation: unfold to prechecked quotation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "37523230cda16f60f3087295775b895ba78a5598",
      "old_mode": 33188,
      "old_path": "doc/syntax.md",
      "new_id": "7858e8ab72834ee1b5cc001964de1e80b9ff4590",
      "new_mode": 33188,
      "new_path": "doc/syntax.md"
    },
    {
      "type": "modify",
      "old_id": "a43b774b629bef25ffda1ae2486690312d64cfbc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation/Precheck.lean",
      "new_id": "072212e275dcc2baa8c7ff7d887edcbc0e9b6b17",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation/Precheck.lean"
    },
    {
      "type": "modify",
      "old_id": "015145a4a3b1de6d76518664383752cbe626fa79",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Syntax.lean",
      "new_id": "9f40c5b178227211f06d90092ce393d729e848f4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "b6b0a01e40c81441866cbc33309e363735209232",
      "old_mode": 33188,
      "old_path": "tests/lean/277a.lean",
      "new_id": "c02d1d4ab8caa44a7c347f7e0bc531c339101c2d",
      "new_mode": 33188,
      "new_path": "tests/lean/277a.lean"
    },
    {
      "type": "modify",
      "old_id": "dfd9df961bff09beb76b8ab887f67a37c2e54c0b",
      "old_mode": 33188,
      "old_path": "tests/lean/277a.lean.expected.out",
      "new_id": "d6624f9adfbb28f606625ecbc0bf797e392fd775",
      "new_mode": 33188,
      "new_path": "tests/lean/277a.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "29d14be5ba1245c9107db9f9b7cf2fc3a3022b44",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "9985cd27c6a15255aab70ca135994ea606c3c7c5",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "c679805969a8a8d0acfc5d52bcb494a66168d9df",
      "old_mode": 33188,
      "old_path": "tests/lean/autobound_and_macroscopes.lean",
      "new_id": "60409397cd3b4bc1b0d3ccb088825a146963a645",
      "new_mode": 33188,
      "new_path": "tests/lean/autobound_and_macroscopes.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5bee76f17d9ec7bcde53f95915d5a6f929a83c1d",
      "new_mode": 33188,
      "new_path": "tests/lean/notationPrecheck.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b505e2077869a28ab9131c601c530d16ed03e9b3",
      "new_mode": 33188,
      "new_path": "tests/lean/notationPrecheck.lean.expected.out"
    }
  ]
}