)]}'
{
  "commit": "a86af69faf5bfc3ae7ae45ced40b9c521f5568f5",
  "tree": "3c2e2cb27ee8d28a96c2af423ebaee1daaff2f4b",
  "parents": [
    "d4767a08b03999fd2f2fb2634f29926ac8f22c6f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Apr 11 19:45:48 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Apr 11 19:45:48 2025 -0700"
  },
  "message": "chore: move test to correct directory\n",
  "tree_diff": [
    {
      "type": "rename",
      "old_id": "22b8239e186d02d425af536ee90d1b5b9cdf1355",
      "old_mode": 33188,
      "old_path": "build/release/grind_append_issue.lean",
      "new_id": "22b8239e186d02d425af536ee90d1b5b9cdf1355",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_append_issue.lean",
      "score": 100
    }
  ]
}
