)]}'
{
  "commit": "dab72e3a9112d97e805168285594953e722a6d76",
  "tree": "aebc673dcf9294a2ad2d4b59ef50a26018e216e5",
  "parents": [
    "6f5699362bb9c345d5c98a04dcb1ab8f374478e1"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Dec 18 17:53:46 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Dec 18 17:53:46 2021 +0100"
  },
  "message": "chore: move `Leanpkg.leanVersionString` to `Init`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "250c56244673117d6a75c2446a87f002e542660b",
      "old_mode": 33188,
      "old_path": "doc/quickstart.md",
      "new_id": "a4721e04857fab3fe4020aa383f351da5daa394b",
      "new_mode": 33188,
      "new_path": "doc/quickstart.md"
    },
    {
      "type": "modify",
      "old_id": "13dd2f1f08d8e0ebcb87a09e661158e2c52be165",
      "old_mode": 33188,
      "old_path": "src/Init/Meta.lean",
      "new_id": "020723340d858f576d1cb44ec501feb29321cc9c",
      "new_mode": 33188,
      "new_path": "src/Init/Meta.lean"
    }
  ]
}