)]}'
{
  "commit": "db9ba88c3513568d13316163d8b1db6e64a0acb1",
  "tree": "b92dd5d212de6ba2e63c24702debeaf279549720",
  "parents": [
    "e41cd310e9a3cfb04db3aaa4e974ebb0c2ba6dc3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 10 14:49:16 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 10 14:49:16 2024 +0200"
  },
  "message": "doc: moduleDoc\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6b4468c13e5238864a9d391ae4083c41765f9874",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "ba24ca8f3bbb4cd5061bcef5cb47e452850c2cea",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    }
  ]
}