)]}'
{
  "commit": "7525162ede0943df7bd8dd681c00ed10d749b6ca",
  "tree": "6ad61da45a423da544ad506aa147b22e47ca8318",
  "parents": [
    "1c6ab9110025cf83f3235ae200f6f2f6e801a349"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jun 29 22:42:14 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jun 30 13:10:18 2019 +0200"
  },
  "message": "fix(library/relative): `lean --path` returns Windows filenames, but make expects Unix ones\n\nThe joys of cross-platform bootstrapping\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dda8667a841d75ea50da9b59dd08a84e777d2eb3",
      "old_mode": 33188,
      "old_path": "library/relative.py",
      "new_id": "698f5ae64be912039b85b04cce386a90fbff3ac5",
      "new_mode": 33188,
      "new_path": "library/relative.py"
    }
  ]
}
