)]}'
{
  "commit": "4034a5f80862a2bbbd5e4b0d2004e5e984ea0ebf",
  "tree": "b07c2a06c122fb157b32a843743137c749d29c9a",
  "parents": [
    "0198d557faedbc44c442db39d99627cd3ee04849"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 20 10:21:12 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 20 10:27:05 2024 +0100"
  },
  "message": "fix: use builtin code action for \"try this\"\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "80b30cc27ce04cc508fb0d5c7cb5d0e9f9e7bb98",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/TryThis.lean",
      "new_id": "46d86605c1fae47db82a852ba77057babcd10200",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/TryThis.lean"
    }
  ]
}