)]}'
{
  "commit": "5fff3df48396b9ee586fd0a6fda4ba1b3a4ce1c8",
  "tree": "941709a2ffc3ebe8a42b3217a70cf8df2729e510",
  "parents": [
    "305fba625d46a676c549c3129dc98d638d281781"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu May 15 21:01:19 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu May 15 21:01:19 2025 +1000"
  },
  "message": "chore: fix Inv.inv upstream\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8ef6263eb06d608723088e8bbbffba88b8862f8a",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "8e169d46fd5d4a6907c6a88aa881ac5523e8aa2e",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "dfcf92a9dbd1543d50e515de220128d8763d79de",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "9cd2379d52b55894578b9bd8782b2e69a3078b12",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    }
  ]
}