)]}'
{
  "commit": "a25b95ffe66296bffb4ed5725668eddb8dce92f6",
  "tree": "fa199c692e25901728c30cf147db42c0247fb6c3",
  "parents": [
    "19d9f6c450923ae597aea44c5ef8bd7d863af9a8"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 19 14:46:35 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 19 14:46:35 2025 +1000"
  },
  "message": "feat: grind annotations for List/Array/Vector.attach/pmap\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6188478d63ab010b785a95e12cab07f91592cfb8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Attach.lean",
      "new_id": "1901f916fe04a364424fb76c4252a7faa007cd1b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "aadae89a269a46ab179a56f7af265febbd178037",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Attach.lean",
      "new_id": "2e3bf485ce58c8bb8552b8da69e8cb2f3c53912b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "e3e1fe1bc2b705a5f3e35a67c8a802904ac4d1ec",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Attach.lean",
      "new_id": "051fe89163c1c07644f272b1dff1783a8ee87095",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "e5398a712f4bd07f901b564745eda9645939a397",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Attach.lean",
      "new_id": "15647493b40fb27af61c843516ec45421b557584",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Attach.lean"
    }
  ]
}