)]}'
{
  "commit": "849724352a0c235b65ccce32a10f2fca902d765c",
  "tree": "e2adfd66f031b24a7a4ab0a858f38b6ba3057d99",
  "parents": [
    "be7c71d1c8037a3a9aaa03b0f7d81259bb856712"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Mar 24 18:24:39 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Apr 07 17:18:48 2022 +0200"
  },
  "message": "fix: `fun (x ...) ...` should not be treated as a pattern\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "532724199280bcb78dde486d68c9c921906b190e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Binders.lean",
      "new_id": "a497a2ebc01c7c27141e3c21ac5eacd51b70958c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Binders.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "75397f4b2a1b15023c4caed3182cc5de7eb33505",
      "new_mode": 33188,
      "new_path": "tests/lean/funParen.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c53c244d45db5f438f9f76f10ccc5f8d4349cc2b",
      "new_mode": 33188,
      "new_path": "tests/lean/funParen.lean.expected.out"
    }
  ]
}