)]}'
{
  "commit": "fbb4710a5d89664d34d2d57a5114323302a43af3",
  "tree": "ca15f9905e5b6e954a7c2b9af31e3ce92f38e6c2",
  "parents": [
    "15ab1fbedbbe93115d6b669f151a19bdb95f73a8"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Fri Jan 27 16:55:24 2023 -0800"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Fri Jan 27 16:55:24 2023 -0800"
  },
  "message": "wip\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "13f71eb3ed56da54aba1c18cd3f8a55659640ac5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Range.lean",
      "new_id": "5fa17b7c37492caf5be66b35acedf8bc78511d62",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Range.lean"
    },
    {
      "type": "modify",
      "old_id": "be8cdc43263d8cf8645efcd9941489c75714909f",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "1798220777b35d36138ffe00009b9b7fa9a17814",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "112030ff2a4231d04337eba9b460ceeba23c7293",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Deriving/Eq.lean",
      "new_id": "edeacfbdf3fbea92651f71808212a872aa1b26b5",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Deriving/Eq.lean"
    }
  ]
}