)]}'
{
  "commit": "3f89ae5ba5fcec7028c281352ad68f7f25068600",
  "tree": "5455f55f7b42a48fff5692f03cfcb6abd85c12a4",
  "parents": [
    "04385b7fb9cfd12bf65d8b01213dea1d5f2edfda"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon Mar 04 10:15:40 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon Mar 04 10:15:40 2024 +1100"
  },
  "message": "feat: Nat.mul_mod\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1da471262afb44d80973a16a888961191b934c4f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat.lean",
      "new_id": "533194a9e4bd21d3c6b074f2f3b6c009dd74c833",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e8284a51b2960b7b8d1f4904a1beaa3445fc10f8",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Mod.lean"
    }
  ]
}