)]}'
{
  "commit": "c8a9b249ac7c8052ce20e6c63b1a62b139dff098",
  "tree": "49628f7a8f075767481e2a072d43f8ee2405827e",
  "parents": [
    "2b485c0dc3d3771697977afdbc94795e13292890"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Feb 13 14:42:08 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Feb 13 14:42:08 2024 +1100"
  },
  "message": "suggestions from review\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4de112a7eca51fe04227eaf94717d32bb469cf75",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "dd72d37f8d9ed11ad8653808fc71bfcaf3acf315",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    }
  ]
}