)]}'
{
  "commit": "6639a043f1c2dc5eea14a15ef470546d12613ff6",
  "tree": "372f4944ff1764f553534d9784309852b7bd7136",
  "parents": [
    "0bfe1a8c1a2e2eb6da0dad270d7b2bbdd5b97c3d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 16 16:14:45 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 16 16:45:20 2024 +1100"
  },
  "message": "chore: rename List.bind and Array.concatMap to flatMap\n\nfix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fc0812eee9c44b1398cfa509e119cde29f3fb4ea",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "4e9b7b8acf53c3bcb828960ba7dcc8df4d5708c1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "61407ddb402cfaf9a9a922268fcca63296e67298",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "badd90415b6dd52e9c5d0b316d5199b0b4ceab02",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "9e14ed56b2e49e78e43d47f2bdadaaf56d425744",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Attach.lean",
      "new_id": "925ccdf55ee5f7e740e9f5b722cb6a86be01792c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "29b0b9fb6575285dd7ee4e095d19ceb7770c6be7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "01ef26fd98eedf4315a0f29d7203969b620bff83",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a00346581471313d69a0249a2c7706731a0cefe3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Find.lean",
      "new_id": "3fd9e7e7b035d31cb8fc7b353227c8ed4e10656b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "6c68149c7995788623fe583a27b1940b1fff1b36",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "e0ed37fe8c3c144c93f9ede2cf79c5f316e6b522",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    },
    {
      "type": "modify",
      "old_id": "e22e846b55a8f26bc26cc3456981d7f7785dcbf9",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "674986fc99b525ba4c808e5db4435962b827b226",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "f2f5ee1f540ab8bb9ed777c92c7c7c72de341891",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Pairwise.lean",
      "new_id": "5ce57feb8365e8a6fd5914f2bedb85c89e575d7b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Pairwise.lean"
    },
    {
      "type": "modify",
      "old_id": "ff88674aaf08ec4e10213304e014199ad142711f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Perm.lean",
      "new_id": "8bb0f22d27c95b2b6e8a6182b3a33250b72bd7c2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Perm.lean"
    },
    {
      "type": "modify",
      "old_id": "696482fb17746cc3f83af0c1fa00fe4c94052993",
      "old_mode": 33188,
      "old_path": "src/Init/Data/String/Extra.lean",
      "new_id": "4e96432f8bfcaba76990d7b0433e3091cf85c569",
      "new_mode": 33188,
      "new_path": "src/Init/Data/String/Extra.lean"
    },
    {
      "type": "modify",
      "old_id": "fdb3aaa83d8d7b5800ce84ed7dad9bd4e56a5f83",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Xml/Parser.lean",
      "new_id": "b5af3f347f2b00cb46f44909c5c8a78bde0472ff",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Xml/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "5f47d772a4d33457c42da49735fa2c15f24c1475",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "bbc2f43754887b4ddfccdbabafa439649f21a28d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "modify",
      "old_id": "47bc7dbdbae40e2f529f4b81fb667dd7c4b434a8",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "f26af727509fdf6449eecddd56e269af1a105dc9",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "ac3bf9adbf3f5eb5112cbce7cc321c419c2d7e59",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "b89ab0e74671b773232afdacb69fc37e9b74db4e",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "affefd8a90f91c6bc3ca5fbd1d051c15519b70e7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Structural/FindRecArg.lean",
      "new_id": "de1c8227fdacdc4128880b87045aa866c6ce760c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Structural/FindRecArg.lean"
    },
    {
      "type": "modify",
      "old_id": "7abe25819e28e737e9fb51e2f9cc99f656789549",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/Basic.lean",
      "new_id": "43963cac6dc35f229c7dd63af248b3a0f68749f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "13068794db046995afb1c7fdabfd0141e97e759e",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/Provider.lean",
      "new_id": "976069f5db04d39e00e7d5afff31478c1a18ae40",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/Provider.lean"
    },
    {
      "type": "modify",
      "old_id": "28b6b8a636119e4a09d318cc69f0a558bb64380e",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "c930fd2e7145f22408c99621eab8db4e223aba04",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    },
    {
      "type": "modify",
      "old_id": "bef9b482fcd39478872e2a53da760363e245f0ce",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Watchdog.lean",
      "new_id": "a5c183e065eb0a5100bf3c5c04227c605dc75580",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Watchdog.lean"
    },
    {
      "type": "modify",
      "old_id": "70a14cf6530e394f0ad06184ae1e12b8a39790d3",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/Defs.lean",
      "new_id": "44a11a486d3d755bb649dd92f5b8bff84897e088",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/Defs.lean"
    },
    {
      "type": "modify",
      "old_id": "7f8aca59903a4414f6421568aede7035e9182f91",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/List/Associative.lean",
      "new_id": "6a41c5b11ace588cbde8b558cd2ab23a3b0c121a",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/List/Associative.lean"
    },
    {
      "type": "modify",
      "old_id": "44824c283401cfa0f346b5e04ed9a8a9024495bb",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/Model.lean",
      "new_id": "444082ed805d73d0c1491cea16e1c06a05d1ec7f",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/Model.lean"
    },
    {
      "type": "modify",
      "old_id": "44d9786ad0980adf7dd2a9a4e6b74440acedf999",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/WF.lean",
      "new_id": "8ca6edb8a81c0540a8e03b57c6d3147e60ae8b2f",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/WF.lean"
    },
    {
      "type": "modify",
      "old_id": "f0b2895552d3c86c1f44a36c5ef9b2df9ada000a",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Imports.lean",
      "new_id": "bfe43cfd56caf967a81a777eac5bf1a7e614dedb",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Imports.lean"
    },
    {
      "type": "modify",
      "old_id": "6c48bddc08e413c3bfac8596d3164d9e0d14e31e",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Library.lean",
      "new_id": "12933e302e3c8b3054d20835b2fb1546e9899548",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Library.lean"
    },
    {
      "type": "modify",
      "old_id": "93d2f82badce44329ba0b02353e23affd1fb7dbf",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/CLI/Build.lean",
      "new_id": "99366d601984581e056077dd94cf05af7079b851",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/CLI/Build.lean"
    },
    {
      "type": "modify",
      "old_id": "0e22d5f60b4dcc4a1222ed6b152b415ea17d2a70",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Util/OrderedTagAttribute.lean",
      "new_id": "a486a380a28f02f19a5aebc52ec7ffc97724d69e",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Util/OrderedTagAttribute.lean"
    }
  ]
}