)]}'
{
  "commit": "a807a2f2958caef784ddc5d50e280377fb9e5c53",
  "tree": "41563a9ca31c54143e54aa926cbf93ca4165b581",
  "parents": [
    "3872027d928cb88034fce7dd86117a10fdf74de2"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 18 19:27:59 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 18 19:27:59 2024 +1000"
  },
  "message": "chore: fixes spurious omega error in #5315\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a8b60edfed0f6718d52277c72c47c1e4c7675565",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean",
      "new_id": "6c5dc7faa93e789bddee1d72e2b6063f218e6557",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "56cbdf95a2b2c9a05a2fab0697ab0de276e04858",
      "old_mode": 33188,
      "old_path": "tests/lean/run/omega.lean",
      "new_id": "cd7fb7ebaf5db935635175a3acfd0d6c2ad1681b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/omega.lean"
    }
  ]
}