)]}'
{
  "commit": "2c4c125ce90a07d383110709dbc3eb3996fd26c3",
  "tree": "d1cd1477e244261cd85acbff8c64980a79428708",
  "parents": [
    "502073109b5e91cd960e9588b677f120783a6859"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 27 18:39:42 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 27 18:39:42 2024 -0700"
  },
  "message": "fix: proposition fields default values\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "674428ca158f8758a39c51717fb8d6281167cf09",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/StructInst.lean",
      "new_id": "00ee772bfd1e8127689bc827c76403723b249cd9",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/StructInst.lean"
    }
  ]
}