)]}'
{
  "commit": "c4114d7cacafc671d8fd5a3aaa256e66be4e48c9",
  "tree": "0d5cd92642749f7e5bdbf22bb236fcd5087d23e7",
  "parents": [
    "9084c4fafc27fdd5eeb10429b4d1e7de8322ec76"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 06 13:10:33 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 06 13:12:32 2020 +0200"
  },
  "message": "feat: add `--root` flag to set package root directory\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0be0fb4fd872261346c965942e12a588f915e8cf",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/Path.lean",
      "new_id": "87bf7d6951c1cbd43cfda7b0cd50dc82d46b5334",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/Path.lean"
    },
    {
      "type": "modify",
      "old_id": "c70bd07c3c701ffe048dfe1b68bc2b7d694ce5e1",
      "old_mode": 33188,
      "old_path": "src/shell/lean.cpp",
      "new_id": "a1ab4659d92e98ddf27394563aaa2eb4cc98245f",
      "new_mode": 33188,
      "new_path": "src/shell/lean.cpp"
    }
  ]
}