)]}'
{
  "commit": "c5facc7547aa2bcba4bf085de99b3f54df989cc9",
  "tree": "b69d41b13ab6af4ee611240b2897667ebd73e8c3",
  "parents": [
    "a955708b6c5f25e7f9c9ae7b951f8f3d5aefe377"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 12:40:00 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 13:16:17 2025 +1100"
  },
  "message": "feat: align List/Array/Vector.flatMap\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1acf464ca37808d3051124cd90387f1c4065d1c3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "b78fe308f0a5d2e2d07f6fd5bfe69396af00f94d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "3352b90f44d5b433bdf9363c4e716f10e9877c46",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "3b9b7efb09a01a62219a92199ff81117b02cf26d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "5fb32bf0b59c6bfeb48932007932cafb631bf7a3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "20f324dba4193838fdf9dad8424eec79197bcad0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    },
    {
      "type": "modify",
      "old_id": "f6f11494a15dd05909738c81f21375d1daed37b0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a0f8aa260b64651d8cf0a8be4d91ec4cd711eb5b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "269a6577e3d49a6a39a4ab70cf2cdf9622fa2f50",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Basic.lean",
      "new_id": "32b336c4801d681582384eaa380a05456b82d6af",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "00ea12d7cee38734b8a1a570f43c54793caaa108",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "17964a63efd92bd15f47ec73274e6246eb44936c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}