)]}'
{
  "commit": "9591bc630b89698ab0cb4655c42c4936e729453c",
  "tree": "a756467bc61d32dcac64be2f86352981077cddbe",
  "parents": [
    "e65ef4602f2b45879d043aded265337d38bdfd36"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu May 02 11:27:38 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu May 02 11:27:38 2024 +1000"
  },
  "message": "oops\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0cccff66c3969b3d17ffe17f67f3ee419555aef4",
      "old_mode": 33188,
      "old_path": "tests/lean/run/localization.lean",
      "new_id": "eccf98d6bdbea784e5efbdbb937abaf17f438c96",
      "new_mode": 33188,
      "new_path": "tests/lean/run/localization.lean"
    }
  ]
}