)]}'
{
  "commit": "577820ab750d101cea10e8ccad8e92fb1e087a6f",
  "tree": "18a63a907c17ffed6f5025926b58396a3a3bbbf8",
  "parents": [
    "921e0ae33bcdd49b9b686689ea52a1566b95a605"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Mar 26 22:52:55 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Mar 26 22:52:55 2022 +0100"
  },
  "message": "chore: Nix: Alectryon should not depend on Lean\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "669f6dce5b8ec99ecca310aecb72982957fd5fac",
      "old_mode": 33188,
      "old_path": "doc/flake.nix",
      "new_id": "7a76573c4cb98ba81b8329bad655b98698ff7a2a",
      "new_mode": 33188,
      "new_path": "doc/flake.nix"
    }
  ]
}