)]}'
{
  "commit": "4600bb16fcded0356d20ae232e7f8580c56a5955",
  "tree": "9c2757cdb9b1eed68023ca87899d395176dfa49d",
  "parents": [
    "7ccdfc30ffab9ad2059d89aa03627fd549e4e7f4"
  ],
  "author": {
    "name": "Mac Malone",
    "email": "tydeu@hatpress.net",
    "time": "Tue Nov 19 00:26:03 2024 -0500"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Tue Nov 19 05:26:03 2024 +0000"
  },
  "message": "feat: use `BaseIO` at `IO.rand` (#6102)\n\nThis PR moves `IO.rand` and `IO.setRandSeed` to be in the `BaseIO`\nmonad.\n\nThis is their proper monad as neither can error.",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b5475ba9d7f94caa69e8e3adadce3a6ad73f0220",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Random.lean",
      "new_id": "42ef42c7f37fd174e8d9884c0a5476b768856af3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Random.lean"
    }
  ]
}