)]}'
{
  "commit": "678e86585121fc323c5ceb4b2f29cedd919cd890",
  "tree": "995f62219b3ba51810e14c84ada725f52f0eab1f",
  "parents": [
    "2dbe4840579593245d48faf1a7f54e80b48e6c75"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat May 29 11:30:13 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat May 29 23:18:03 2021 +0200"
  },
  "message": "fix: leanpkg: `make` flags; extend test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1a6b8e527b461bfaec98390c95fb867b049de1d7",
      "old_mode": 33188,
      "old_path": "nix/bootstrap.nix",
      "new_id": "5ff03651480db78be823a6f273fdd8c86e6e33ab",
      "new_mode": 33188,
      "new_path": "nix/bootstrap.nix"
    },
    {
      "type": "modify",
      "old_id": "5024d7c0256028e2d4183277e44459200d86fbc5",
      "old_mode": 33188,
      "old_path": "src/Leanpkg.lean",
      "new_id": "74559d0344c768be1231e64bdd2b280c04491706",
      "new_mode": 33188,
      "new_path": "src/Leanpkg.lean"
    },
    {
      "type": "modify",
      "old_id": "d2b79a457f30484466806738c6e4704986043d84",
      "old_mode": 33188,
      "old_path": "src/shell/CMakeLists.txt",
      "new_id": "093302f825508affb331d358a0cd4293c9064943",
      "new_mode": 33188,
      "new_path": "src/shell/CMakeLists.txt"
    }
  ]
}