)]}'
{
  "commit": "8b2db1183c899b4a438ad4b0c360969a4b091e70",
  "tree": "9f24664d76e6323cc79dcfbc182e76b13b5361a4",
  "parents": [
    "a94805ff71f7576ee014aafc76b29e29b066bd80"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 08:57:35 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jul 19 08:57:35 2024 -0700"
  },
  "message": "fix: add term elaborator for `Lean.Parser.Term.namedPattern`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "82e8225e5c6d9bf3971dc0c84c52e57b6c29e0bd",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinTerm.lean",
      "new_id": "d33a54bb40c69699870626ca4492e378961a41c8",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinTerm.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2c5273b75ce6ad26b2ca0307f468760952191d96",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4662.lean"
    }
  ]
}