)]}'
{
  "commit": "1152148026019779753eb8c790c64569f34bf456",
  "tree": "7d01e78ef3db5025dcce9952a67886efe28f5182",
  "parents": [
    "574066b30b32ed9742042706b59ea0c12d0541d8"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 07 10:02:27 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 07 10:23:14 2024 +0200"
  },
  "message": "test: remove flaky test case\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b2107c2c4782fc6df64b1fddf7dbab17ca9c3c09",
      "old_mode": 33188,
      "old_path": "tests/lean/Process.lean",
      "new_id": "147917c8a9e6d4169393d75ff6fbec2810865bf2",
      "new_mode": 33188,
      "new_path": "tests/lean/Process.lean"
    },
    {
      "type": "modify",
      "old_id": "5d186fa1f4e6444dfb59cabd8e043275a9677026",
      "old_mode": 33188,
      "old_path": "tests/lean/Process.lean.expected.out",
      "new_id": "aefb784c4ed2f1cb1c9e616f4dab15e32dc689c3",
      "new_mode": 33188,
      "new_path": "tests/lean/Process.lean.expected.out"
    }
  ]
}