)]}'
{
  "commit": "216d2460e0adec8317fdeeb6f2543cb7442564fd",
  "tree": "ccb40b34926b28828b8f68e7afc299cf6b21e51c",
  "parents": [
    "25e673df54d9a13e22d17eb9ac2b1944b1ece942"
  ],
  "author": {
    "name": "Mac Malone",
    "email": "tydeu@hatpress.net",
    "time": "Wed Aug 23 00:52:48 2023 -0400"
  },
  "committer": {
    "name": "Mac Malone",
    "email": "tydeu@hatpress.net",
    "time": "Wed Aug 23 01:58:18 2023 -0400"
  },
  "message": "doc: explanation for `lake.lock` disabling\n\nCo-authored-by: Scott Morrison \u003cscott@tqft.net\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "93938403a10c1a7492f39c3a3e550a92e3a5eeda",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Monad.lean",
      "new_id": "ab335aece21d2abfb43fc792eb7e244691889afb",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Monad.lean"
    }
  ]
}