)]}'
{
  "commit": "76ad5fc4f5e41cd54fa7693dd011afe1ae925be5",
  "tree": "344fcf18d7956afe5e31b1d2027a2dfc2e97a58c",
  "parents": [
    "2b4126cf7e352543c45d23d354a113942b652915"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jan 15 12:35:38 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jan 15 12:35:38 2025 +1100"
  },
  "message": "wip: experiments with eliminating MProd\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "fd7fb7d235965d14b92325d3f4096191fae32012",
      "new_mode": 33188,
      "new_path": "src/Init/Data/MProd.lean"
    }
  ]
}