)]}'
{
  "commit": "f16d32215eef03dcb8e346c29acf18a02b319833",
  "tree": "8176152548e85442d229caed5e82c6fef1ce3a72",
  "parents": [
    "d6474135baac39a271c301a17d6621691a48b80b"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Apr 19 22:17:11 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Apr 19 22:17:11 2024 +1000"
  },
  "message": "chore: fix Util.Heartbeats module-doc\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fb972a37bee7a8906b092763f9d5b8e015a86a5b",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Heartbeats.lean",
      "new_id": "88cc3c29807b93b7a40106cf6c5e70f2a295662e",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Heartbeats.lean"
    }
  ]
}