)]}'
{
  "commit": "d170848e1c2f4cc3a99fde90a353842878a58737",
  "tree": "518f42209d4ada9ab39b7a790199066da0f0c7fc",
  "parents": [
    "67851492718c93110906efc80b49af663c421949"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Feb 07 14:39:47 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Feb 07 14:39:47 2025 +1100"
  },
  "message": "upstream more\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e6dd3e63f8d8c96679e3027d3e9964a717181e87",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/MapIdx.lean",
      "new_id": "9e4c002eb0b18bc79f8eb6ad9a765a79b2b539be",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/MapIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "b3428aa20166df923c5e1bf04d685fdcabc65662",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Monadic.lean",
      "new_id": "9da57e8ebe366715052670069920f6701dda47bc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Monadic.lean"
    },
    {
      "type": "modify",
      "old_id": "8b7d1a35c5ac914acb0d58be668971e93cdf2bd4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Control.lean",
      "new_id": "91c224dc2e974f2dafd963874acc3aed430e866e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Control.lean"
    },
    {
      "type": "modify",
      "old_id": "4c8c878e65cca1633c04108bb993c6ca0669592c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/MapIdx.lean",
      "new_id": "83ff181cc081cdded70f91881953a6ed54590351",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/MapIdx.lean"
    }
  ]
}