)]}'
{
  "commit": "ce03344184e9f0a8f1d9f6a9d8cd6e09db8b2943",
  "tree": "153582b87a1772765d6db16c7179a0aeefec32d4",
  "parents": [
    "05854a401d79e3da64475fc78f52f179986fb035"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Thu Sep 25 20:59:03 2025 -0400"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Thu Sep 25 20:59:03 2025 -0400"
  },
  "message": "Add back mistakenly removed tests\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9a7b4a46c7b4e4c6f7f5282cffd5abd8ad550665",
      "new_mode": 33188,
      "new_path": "tests/lean/decimals.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "6e67b964dd50e933b566b5f816f294b88be7ec10",
      "new_mode": 33188,
      "new_path": "tests/lean/decimals.lean.expected.out"
    }
  ]
}