)]}'
{
  "commit": "d85f439c319afc550308c3acbc8466569925ff03",
  "tree": "2e9e755683d1064a1db0c2965074318c4a0fae6f",
  "parents": [
    "91393576edff1eb0639e6d30ff2b2c56697fbe2f"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 25 12:52:38 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 25 12:53:05 2019 +0200"
  },
  "message": "chore(*): remove obsolete leanpkg.path files\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "2cbfd2b51b21110941945bd9b10cfb91e3703ded",
      "old_mode": 33188,
      "old_path": "doc/examples/compiler/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c0926e3e67a641556ff6659661ffea3cb7dea9e1",
      "old_mode": 33188,
      "old_path": "library/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a46b9ab3fbb1acd2573a7b9038c74e6c260da89f",
      "old_mode": 33188,
      "old_path": "tests/bench/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "2cbfd2b51b21110941945bd9b10cfb91e3703ded",
      "old_mode": 33188,
      "old_path": "tests/lean/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a46b9ab3fbb1acd2573a7b9038c74e6c260da89f",
      "old_mode": 33188,
      "old_path": "tests/playground/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a46b9ab3fbb1acd2573a7b9038c74e6c260da89f",
      "old_mode": 33188,
      "old_path": "tests/playground/parser/leanpkg.path",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}