)]}'
{
  "commit": "4edb4232c1ced979817588687f7fcb00901844ae",
  "tree": "cdc8b623927849c02e502dbe46b9ae11260a8e00",
  "parents": [
    "75252d2b85df8cb9231020a556a70f6d736e7ee5"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 10 17:13:29 2023 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 10 17:13:29 2023 +0100"
  },
  "message": "feat: profile tactic execution\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6326e06c85a8bd8754b0d4b1d8eeb78f8ec7da57",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Basic.lean",
      "new_id": "39309f9b77f9b1956f703aae7819e11c037b07c7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Basic.lean"
    }
  ]
}