)]}'
{
  "commit": "1a85c6a08a0a6bc197d4d9fc19cbd51c390a4789",
  "tree": "84c911135fff7887eab8109c498ec0d6713e5881",
  "parents": [
    "56ab43a4c827f41b1c36174e6995fd39a66c245f"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Apr 01 15:21:11 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Apr 01 15:21:11 2021 +0200"
  },
  "message": "feat: (fail to) provide tactic state at `by`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6ae22292a764a2353c6573b1f09d2641af1c53d1",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/SyntheticMVars.lean",
      "new_id": "dc73c530b1b1ccb5bf7a906aefa82776f92d0fdb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/SyntheticMVars.lean"
    }
  ]
}