)]}'
{
  "commit": "fe4f04b197d6651cb7e8f230d9395ed0cf6fb69b",
  "tree": "bba8614c71c4ec8c16fa95a08efb416024d0a3aa",
  "parents": [
    "005b8aa9515ab21e8d4a6325fdd52276df24dd5d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jul 24 19:29:43 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jul 25 10:20:45 2022 +0200"
  },
  "message": "fix: notation delaborator on over-application\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bb95e4fdfa3b700394c194b3ff817e84dbfc966a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Notation.lean",
      "new_id": "07fe11ece5e26a9a9eac46d160e2996296aa8987",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Notation.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a71567c5c12f2048eb1e6b01e511abc951e36a1f",
      "new_mode": 33188,
      "new_path": "tests/lean/1367.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f223e49bcde79344166c6e302a7efb035ad6691a",
      "new_mode": 33188,
      "new_path": "tests/lean/1367.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "5722dea0fad89baa7a1348f2adc84072a50ce475",
      "old_mode": 33188,
      "old_path": "tests/lean/469.lean.expected.out",
      "new_id": "5b28e51edda7854152edad0d85374f2a32abbb2c",
      "new_mode": 33188,
      "new_path": "tests/lean/469.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "fdc84b44f6a8ce3d5a4a2da79f13fdd63552616c",
      "old_mode": 33188,
      "old_path": "tests/lean/ppNotationCode.lean.expected.out",
      "new_id": "5d4902cfc83aed486cfe9e4c3a6a5debf271adad",
      "new_mode": 33188,
      "new_path": "tests/lean/ppNotationCode.lean.expected.out"
    }
  ]
}