)]}'
{
  "commit": "86a16a15197a41df9aa97463f458fca7a0818e46",
  "tree": "618778f6b560449d285eab82337bdc7a715d5ca7",
  "parents": [
    "a5ba2dc211c7ece0fa7b7dd299a7cee0d8a289ca"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu May 29 21:26:26 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu May 29 21:26:26 2025 +1000"
  },
  "message": "sort tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6502c8d0dec112c92d3e215efc1949072e824196",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/experiments/list_count.lean",
      "new_id": "84ae6ed37287d25fbffda6867e90600adb1d16e3",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/experiments/list_count.lean"
    },
    {
      "type": "modify",
      "old_id": "aa183a33f07f7265763d600f16ef4d42eb163294",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_list_count.lean",
      "new_id": "556a1d3d9f24f1f4eb32b4fb7aee686ef70e92ff",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_list_count.lean"
    }
  ]
}
