)]}'
{
  "commit": "829b995db1075eb5bfd906ff44008c3c3a49a14f",
  "tree": "18534b08ad66539bd5b256a9d7f001df2830365b",
  "parents": [
    "bdbadbd74b55ea1d910ddd156e63ba4dd42a23ab"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 29 16:06:46 2024 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Aug 29 16:06:46 2024 +0200"
  },
  "message": "doc: include: currently applies to theorems only",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6c776d17519beec7027641ee4148a039c0d7b877",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "7d433a8a4e8ea2fc4f2fe730a54f05010df4c67d",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    }
  ]
}