)]}'
{
  "commit": "3d1bebe9d4b28d56620b63cb18587c38ab818d7d",
  "tree": "17df9d5ff9d6bcfe91daf4219200bcca88d56860",
  "parents": [
    "d2888a49d7a32a8dc8bcd3a658ffe7127ba4fde2"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 15 17:59:12 2022 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 15 18:00:23 2022 -0700"
  },
  "message": "feat: add `optionalOrLinebreak` parser combinator\n\nsee #1218\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "63f5af53bf97a989d2a09b59dd3f51c02f1d97ee",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Basic.lean",
      "new_id": "d63108e2c054d0ff998cff87d8763d7ef5ae9b4c",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "f245e4e21e2b5b3654c5eded10e5ff31bde1135a",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "cca9809ad5daa5a30bfe49f0926c47aa2f184a2a",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "f9ac4484df774335794731a1e0c58b056351cb36",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extra.lean",
      "new_id": "218fca7d3c75c2977a09284f7de818361880e10a",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extra.lean"
    },
    {
      "type": "modify",
      "old_id": "f78c90276214ce1ea2bb336b2f6449bc0f5fbc89",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Term.lean",
      "new_id": "727aa56cebe4148a8d0b249568750e2cbf9db302",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "b8e81771106bb83df7f3eb0afe782b88b1a900f2",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Formatter.lean",
      "new_id": "6dcd52c66d9430d4e67d3ec154c48d82dd1aae0b",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Formatter.lean"
    },
    {
      "type": "modify",
      "old_id": "79530d01037cdc3a5750d78df04376d79f2e7f5a",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Parenthesizer.lean",
      "new_id": "f1aaf477bffc65750144932c25bc9b52ff739a12",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Parenthesizer.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3f7b38339c155a5ef56adbb80b78f47c97d35bbc",
      "new_mode": 33188,
      "new_path": "tests/lean/optionalOrLinebreak.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "6cd13d8a5af1f33aeffff45c7b9d0c2cfdc4d0fe",
      "new_mode": 33188,
      "new_path": "tests/lean/optionalOrLinebreak.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "a96d3116d6313b3ef30040f8d545815a838f6e0c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/ofNat_class.lean",
      "new_id": "d271da9a517ea9b7fd42df90c2c758f8f2834983",
      "new_mode": 33188,
      "new_path": "tests/lean/run/ofNat_class.lean"
    }
  ]
}