)]}'
{
  "commit": "0c0fa98133ede54db192b66ecf9679b01460d4c3",
  "tree": "130defb20dbebe5427348c67b88d000141e5020f",
  "parents": [
    "4b7b69c20a2eb016a71a242c27eb1fba39d5bc4d"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Wed Aug 21 16:30:22 2024 +0200"
  },
  "committer": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Wed Aug 21 16:30:22 2024 +0200"
  },
  "message": "chore: move Lean.Data.Parsec to Std.Internal.Parsec\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e1af358c3fe34f13a98aecf9a84704be39c31b91",
      "old_mode": 33188,
      "old_path": "src/Lean/Data.lean",
      "new_id": "7a1854d20760e445bd7bc6ef123b8a83c405cec1",
      "new_mode": 33188,
      "new_path": "src/Lean/Data.lean"
    },
    {
      "type": "modify",
      "old_id": "3856638792112afecc6d734eb2b1b3d033624ca8",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Json/Parser.lean",
      "new_id": "907e156d18d679ef12c83c6fce89423fe98854d7",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Json/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "6538224f8e02283bf05ee70161e55814d9b3e736",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Xml/Parser.lean",
      "new_id": "6a81fedbf2e87fd302396c186f5f529ecedec710",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Xml/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "b5ffae8f9a2782e1c96b9e6dc5fb8863fc5b810d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide/External.lean",
      "new_id": "8af812341f89d07e6b2d7e55deb44d0c196d7170",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide/External.lean"
    },
    {
      "type": "modify",
      "old_id": "b943305109f43c33166aefb8a8d3e5343be9cfc0",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide/LRAT/Parser.lean",
      "new_id": "63f72c75673bd5e3a5ffdf792506ea548bf6c1ed",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide/LRAT/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "7a0154f6d7ca98fab6318276f512ae40473aa797",
      "old_mode": 33188,
      "old_path": "src/Std.lean",
      "new_id": "aeee8c6e31f5d89953ece6cf4db3233bd8c53d20",
      "new_mode": 33188,
      "new_path": "src/Std.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "44d41356f01a51ec29e5fdf6dfbab8ddb9220230",
      "new_mode": 33188,
      "new_path": "src/Std/Internal.lean"
    },
    {
      "type": "rename",
      "old_id": "70d807260c5c92996aac18b59694572039fec0f9",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Parsec.lean",
      "new_id": "89319bb46b37bcce6d36a89760ac9d02fc08e7dc",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/Parsec.lean",
      "score": 61
    },
    {
      "type": "rename",
      "old_id": "fad7e0a3e165ed1ad8c70c9199d5700ffc7fe659",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Parsec/Basic.lean",
      "new_id": "6421f3f09de5f15dc46b1ef7ec2934466f30f022",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/Parsec/Basic.lean",
      "score": 96
    },
    {
      "type": "rename",
      "old_id": "895d6f40ca3ff0da38d85601694dda515a7f3f7d",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Parsec/ByteArray.lean",
      "new_id": "288a007b606751b8d177200d4e53e3959905c61e",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/Parsec/ByteArray.lean",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "b653b521e0bb3c149b2542cfa917669ffc5eb1f8",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Parsec/String.lean",
      "new_id": "2276f6e65f8c23909f83f5c6d951ff85a5c4dd55",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/Parsec/String.lean",
      "score": 97
    },
    {
      "type": "modify",
      "old_id": "1a431b4e1d6bc445b1f54159c495bd89cb65b32a",
      "old_mode": 33188,
      "old_path": "tests/lean/1363.lean",
      "new_id": "68cd8c6fecf5197511287acec730992435ae559d",
      "new_mode": 33188,
      "new_path": "tests/lean/1363.lean"
    },
    {
      "type": "modify",
      "old_id": "8224dc92c7e36b0d821ce08693a7c7fdfa0ce5a2",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/run.lean",
      "new_id": "589c39b3d36e23f2f897dc6deb98639ee5465749",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/run.lean"
    }
  ]
}