)]}'
{
  "commit": "334e6989469fc574ad79fa41e1d66ec7dd8fc1ed",
  "tree": "4e7ccb4a1647cc94e45ef28fcb12fc9e1212a4b5",
  "parents": [
    "f3121b0427917314224adff3455ab41ed0691097"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Wed Apr 03 14:51:13 2024 +0200"
  },
  "committer": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Thu Apr 04 10:16:40 2024 +0200"
  },
  "message": "perf: ensure linearity in Parsec.many*Core\n\nInlined the orElse combinator into Parsec.many*Core in order to ensure\nlinearity on the accumulator.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "26095f871635b61fb1a93ac3cb840e2cca227c5f",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Parsec.lean",
      "new_id": "d4db863631289683a376ee558a96fa46f91172d1",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Parsec.lean"
    }
  ]
}