)]}'
{
  "commit": "f4df3755c3079a23fbd4475fcca47ea7771991af",
  "tree": "0d2f02f9a4ca709decbbf9fb00aede88b20dc5ee",
  "parents": [
    "1ad4402e93190011b545387c15367848d605e997"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jan 25 16:45:45 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jan 25 16:45:45 2021 +0100"
  },
  "message": "feat: generalize `leanpkg build`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d4135b95c6240bf00435c708e1b0135db6c5ff7e",
      "old_mode": 33188,
      "old_path": "src/Leanpkg.lean",
      "new_id": "9f9eb9e8c8d0b87874b0ec128192e2c4904fa6ba",
      "new_mode": 33188,
      "new_path": "src/Leanpkg.lean"
    }
  ]
}