)]}'
{
  "commit": "a3d77aa8b4e320e8da696ffdf1c156f3f0eb7e52",
  "tree": "26a4bd706bf609081179808845af0fd88b057d3d",
  "parents": [
    "892bfe2c5fdd964405d94f0adb0e178fe2b485af"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 15 09:57:52 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 15 09:57:52 2024 +0200"
  },
  "message": "feat: display auto-implicits as inlay hints\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d4eb3c4409b5369a358d4d8b7b5b4c29731b8e66",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp/Capabilities.lean",
      "new_id": "687ce928014561e05ddbb1e74dd69359284a9465",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/Capabilities.lean"
    },
    {
      "type": "modify",
      "old_id": "bc075ba47dde7bae0bbb96e05179e505d3772d47",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp/CodeActions.lean",
      "new_id": "67ffa9e806aa55c82299e1845b8b4b67a31757b8",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/CodeActions.lean"
    },
    {
      "type": "modify",
      "old_id": "ed8c16c386c7b33ede159f01e80702ffcf0536f1",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "a444bee25756c3034e52d555e070c7649e5d54ed",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "4ee4d4099878c6c53208e67d3c39494f77717778",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "82e45cf1f8ae76a79d3d5bd70e6117b4382bd57b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "467c9612b2d87d6c5354193a4a62754c1b9e7752",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/RequestHandling.lean",
      "new_id": "b7fe538f682a9eab4d5a1a0bba32a946f932b9b0",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "045d797ede2f7a2a776beeb747e4a36a10654aef",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Watchdog.lean",
      "new_id": "629a517bebb0c67ba39274d3d7db82fc870facb5",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Watchdog.lean"
    }
  ]
}