)]}'
{
  "commit": "1fdcd03516922972f087eae9de2b7386bfec9036",
  "tree": "2341be253b87766d25c742c68f35a3b0a1f96fff",
  "parents": [
    "61d7716ad86948bee2f0f62b151aac9f2a8ef967"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 10 11:17:27 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 10 11:17:27 2025 +1000"
  },
  "message": "chore: variant of Int.toNat_sub\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6e4fd2eb9716a72e23d8ac4d5f796bd2fbd31ad2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Order.lean",
      "new_id": "a03bfcb64e4869374dcc6a8491220eeb29cd3fb1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Order.lean"
    }
  ]
}