)]}'
{
  "commit": "011467ce4015fcc75a8d142c79179fffaa7df5ca",
  "tree": "a1d24557f3b4dbbcb84f9fec9a1994a011dbea46",
  "parents": [
    "1d8555fe0bdd02c82664446309b2e167ac89c9e9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Oct 14 16:56:46 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Oct 14 16:56:46 2024 +1100"
  },
  "message": "chore: upstream List.foldxM_map\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "23609a0a07ee2b7bc1f6f0372138ff361d0e9360",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Monadic.lean",
      "new_id": "04dcfda7d85804fedcf674c14da788e5115e2377",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Monadic.lean"
    }
  ]
}