)]}'
{
  "commit": "8e33900da6d58fbdb02822a21d2b0b884f5c4143",
  "tree": "c3eaa779d2883d269524ab941dc69da06c89801c",
  "parents": [
    "04d0a4db28720692f58dd44af3a0ea1f4d081ef0"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 03 12:51:55 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Apr 03 12:51:55 2025 +1100"
  },
  "message": "fix test\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "fecf97a8ab6390fbc09eb8271fa0713d155ffb0e",
      "old_mode": 33188,
      "old_path": "tests/lean/1870.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "91f72724ce12ab2a4d96e1a888ce25c8b98e4706",
      "old_mode": 33188,
      "old_path": "tests/lean/1870.lean.expected.out",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d271e8b9589c5a8d7eacd01d2c0fc033b06b4cba",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1870.lean"
    }
  ]
}