)]}'
{
  "commit": "0f7b6d063c3338e8dcda2e84e1a0db21cf7524fe",
  "tree": "009593b58599e7f66b93c3005388f16f73cb9c32",
  "parents": [
    "e020f3d15967ed3ac26af5d243c1c276a7fb72f9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri May 24 14:58:48 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri May 24 14:58:48 2024 +1000"
  },
  "message": "chore(omega): better error if no facts found\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fe2bbd733cbb950331ec26212a36c4e3ebec325a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean",
      "new_id": "986ce1ab38e2f94dd4ca79b08e5c41326e406903",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean"
    },
    {
      "type": "delete",
      "old_id": "e0e33d759b2ea2b26a9748f350063527a655e045",
      "old_mode": 33188,
      "old_path": "tests/lean/omega-failure.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "e200591cd05a02cf2ed57fd6fc94c7b4d942610a",
      "old_mode": 33188,
      "old_path": "tests/lean/omega-failure.lean.expected.out",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "0ed9fd7c8ff9ec9d0b6f32741bb213f8b94a429b",
      "old_mode": 33188,
      "old_path": "tests/lean/run/omega.lean",
      "new_id": "219d62ac0785bed6934464af14e065d3e6fab410",
      "new_mode": 33188,
      "new_path": "tests/lean/run/omega.lean"
    }
  ]
}