)]}'
{
  "commit": "44d5eddf163732c1d4988eb56f50c31e07a57c5b",
  "tree": "583c563f3271533fece5c75ade3c32b1053c6d5e",
  "parents": [
    "33ce758126a9233b8c31e944cb335423ac4f2e35"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 20 16:39:18 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 20 16:39:53 2019 +0100"
  },
  "message": "chore: remove support for relative imports\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e7026aa71915178583c96a5f9e5eb13576abcf71",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Elaborator/Basic.lean",
      "new_id": "79fb5f2415a31fb079749ab31207c22a291a1d2e",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Elaborator/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "18a43abb93e387e8999b1062f4ab0a10c658bbd2",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Parser/Module.lean",
      "new_id": "e7fd701e372e9541f0c42f5beb3e71781a382f51",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Parser/Module.lean"
    },
    {
      "type": "modify",
      "old_id": "1f4f021258148a307166a83b2ee7677c953ad88f",
      "old_mode": 33188,
      "old_path": "library/Init/Lean/Path.lean",
      "new_id": "b6390dff460a9e17c4dc427da115727f00b15613",
      "new_mode": 33188,
      "new_path": "library/Init/Lean/Path.lean"
    },
    {
      "type": "modify",
      "old_id": "de2dbda6773fd4e6a73b1ab0eaf003c4cd4aecf7",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/parser.cpp",
      "new_id": "60e16c784d754dcd4f861cd78e6790426f541ddf",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/parser.cpp"
    },
    {
      "type": "modify",
      "old_id": "77a68cebf36a5266ab99a4c1587d54730aa2173a",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/parser.h",
      "new_id": "5561521b97a57a01712178a2fb278888823f22be",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/parser.h"
    },
    {
      "type": "modify",
      "old_id": "97a9059e13c507b22d5557612e9d8ad1aa89ddf1",
      "old_mode": 33188,
      "old_path": "src/library/module.h",
      "new_id": "31a8f786fd1b3449d1e76fb6e13dc6a42d948d10",
      "new_mode": 33188,
      "new_path": "src/library/module.h"
    },
    {
      "type": "modify",
      "old_id": "b94d569bc7bf32b252af916b2c7d4debe25dfe8c",
      "old_mode": 33188,
      "old_path": "src/shell/lean.cpp",
      "new_id": "218abf244baa4240f661c96377bc75de04b10506",
      "new_mode": 33188,
      "new_path": "src/shell/lean.cpp"
    }
  ]
}