)]}'
{
  "commit": "26ce2c6c94fe9895667280634af4a024369c0bd5",
  "tree": "ed4f1c3670dffb25d79986a2b06efbe3c6fcad65",
  "parents": [
    "e6d54e9ab444bf01f269e175ec42e3466282276c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 07 10:35:48 2018 -0700"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 07 10:35:48 2018 -0700"
  },
  "message": "fix(lean4-mode/lean4-util): (lean4-setup-rootdir) returns the wrong path\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "17819d4c9d680708a228720f5da0e05f6a5ea653",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-mode.el",
      "new_id": "3869d6bcd2389fa34ce10a06f56588a4bfe9d678",
      "new_mode": 33188,
      "new_path": "lean4-mode/lean4-mode.el"
    },
    {
      "type": "modify",
      "old_id": "b93a68fcaa5b58984ce40edb2d1e8f4cad814169",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-util.el",
      "new_id": "fa42b920b54e25e7000c47106572f0cdf6fb103a",
      "new_mode": 33188,
      "new_path": "lean4-mode/lean4-util.el"
    }
  ]
}