)]}'
{
  "commit": "088a9af99d53cf0e0d41c56ab4452593238ff2f6",
  "tree": "9013753160f2c288f214d8d69df93a4905bb6f91",
  "parents": [
    "c9aea32d3e1da1287d099d41dcec831dc5151610"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Feb 21 10:38:52 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Feb 21 10:38:52 2024 +1100"
  },
  "message": "chore: upstream List.get?_append\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "767baa086ace819b794f0ac517cf7884ce140a8a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "9cb8fd077fe43b03ef446e2523e8233fd1db9bc4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}