)]}'
{
  "commit": "27fd4a1a72634ef3cbeada892c53b3b0f98098cf",
  "tree": "6faf67a8ed9fa530662c2de9c718c69c83029d0c",
  "parents": [
    "6a4159c4a792ed2e74f20aecf73974dc3e314e2c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jul 31 14:53:44 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jul 31 14:53:44 2024 +0200"
  },
  "message": "feat: `include` command\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ca9a5cff332411259540f7aac247f2024502916d",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "e1ba45e86635cc0d4c2918b10d704f55949962dc",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    }
  ]
}