)]}'
{
  "commit": "989ee537a32c5d526a22cba6c868afbc50ff0dba",
  "tree": "c960379cbe681d22014f491257b50adfb0544284",
  "parents": [
    "b02c4caab0bf6450f09af91eb21af4f4988bd239"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Feb 21 12:31:51 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Feb 21 12:31:51 2024 +1100"
  },
  "message": "more tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "04d70e82ae525aaf33362f457fcfa405d10021e3",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean",
      "new_id": "4ed9fb67ddb4f7ee2eef53c5e305ca8986c377e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "2c285665b97bba229ea08c2be302567e76b6b8af",
      "old_mode": 33188,
      "old_path": "tests/lean/run/omega.lean",
      "new_id": "508b6756352d0ad5d8180dd6408b462e61c0e58a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/omega.lean"
    }
  ]
}