)]}'
{
  "commit": "9d8dc1a5565f36302e7072a08b67f6a4809f6f7b",
  "tree": "4c46ed6cfa25882fccc24411541680643894bc2b",
  "parents": [
    "a5ddc8f4f9e23ed85fe62d36bbda509f5ba4a19a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 10 09:27:55 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 10 09:27:55 2025 +1000"
  },
  "message": "missing theorem\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1364b4a859cdc748c928fc193a5a12bc10f23726",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Order.lean",
      "new_id": "6e4fd2eb9716a72e23d8ac4d5f796bd2fbd31ad2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Order.lean"
    }
  ]
}