)]}'
{
  "commit": "d36d87bcf2162387a2d1f83d3dfbba04b7db0382",
  "tree": "c546bf67dfd681b2e3a3961b2013227712bad6ea",
  "parents": [
    "a1af3aafd3fa0d3470e0e62b54d8c01ed5e962ec"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed May 08 14:46:12 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed May 08 14:46:12 2024 +1000"
  },
  "message": "chore: Std -\u003e Batteries renaming\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "900b23b4fc6bf770d01ba3c6341bb148aaa5cfbb",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "a3356b7410fd313ee24ac64557445e2f78f30f8b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "00070de044fb6fd8b5798d70d847f15337cb4a62",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a694cce91e81d99314c6db0654a1be36e4eac7f8",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "ba1ca48e2c245bf1b6206bfecf9a9890868538b0",
      "old_mode": 33188,
      "old_path": "src/Init/Omega/Coeffs.lean",
      "new_id": "57e35f6705da6701ce6ab991bf0191a2ea8e19aa",
      "new_mode": 33188,
      "new_path": "src/Init/Omega/Coeffs.lean"
    }
  ]
}