)]}'
{
  "commit": "0c4eeb7aae11907c089b7c0a29bd21fa6ea08297",
  "tree": "66d6d83b9e36c5eee8c4126c9a3a6565657d27fa",
  "parents": [
    "b8a31ed10eeabaca678ab303ec3f4d7d5a817841"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 27 15:16:21 2023 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 27 15:17:03 2023 +0100"
  },
  "message": "doc: refer to mathlib4 instructions in quickstart\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f7f0e000ea524b13f03e9b4a88babd2995464302",
      "old_mode": 33188,
      "old_path": "doc/quickstart.md",
      "new_id": "0665b02a01b670512507851ae1e6309fbddf5a6d",
      "new_mode": 33188,
      "new_path": "doc/quickstart.md"
    }
  ]
}