)]}'
{
  "commit": "b739d9f9c4e05487c40d79ba816ede97458a1544",
  "tree": "bbc138e16d2df43d559112ce481682bdbc7d3afc",
  "parents": [
    "454b289d5d02ee634a6ca298bc591f31c3d71027"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Oct 23 17:25:26 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Oct 23 17:25:26 2025 +1100"
  },
  "message": "move tests\n",
  "tree_diff": [
    {
      "type": "rename",
      "old_id": "bbe320138cf7dad6c250491f20cc8652966d293e",
      "old_mode": 33188,
      "old_path": "tests/lean/grind_lax.lean",
      "new_id": "bbe320138cf7dad6c250491f20cc8652966d293e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_lax.lean",
      "score": 100
    },
    {
      "type": "rename",
      "old_id": "2c7c72e44bdc1c583a566562488a9f52577b993a",
      "old_mode": 33188,
      "old_path": "tests/lean/grind_premises.lean",
      "new_id": "2c7c72e44bdc1c583a566562488a9f52577b993a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_premises.lean",
      "score": 100
    },
    {
      "type": "rename",
      "old_id": "424df7fe8f6b6011bfe7d5b735cb147d7941a59b",
      "old_mode": 33188,
      "old_path": "tests/lean/premise_selection_import.lean",
      "new_id": "424df7fe8f6b6011bfe7d5b735cb147d7941a59b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/premise_selection_import.lean",
      "score": 100
    }
  ]
}