)]}'
{
  "commit": "dfae76e03bc773a54a0d930a52e699832ebe2a1b",
  "tree": "57f6af4bb422d0c76c3faeba194e0094e7d0833c",
  "parents": [
    "196cf67eed2272bc4528de9ecc7b454659cbd3c4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Feb 06 17:19:52 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Feb 06 17:19:52 2022 +0100"
  },
  "message": "fix: make info of fields synthesized by structure update synthetic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0c5259dbf40a273eedc5f780e9876bca09f666e6",
      "old_mode": 33188,
      "old_path": "src/Init/Meta.lean",
      "new_id": "84382169d8992b9c5ede6a05982fa44574bf930a",
      "new_mode": 33188,
      "new_path": "src/Init/Meta.lean"
    },
    {
      "type": "modify",
      "old_id": "7a964b88c3e8a99183fcbb47e2cd5c29b9e35495",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/StructInst.lean",
      "new_id": "437cdfb1ca6b8a8ca050cccf42dc08288fd0a3b4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/StructInst.lean"
    },
    {
      "type": "modify",
      "old_id": "9d50fa347e9038ffce5c4894f34947eaa0ca4d19",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean",
      "new_id": "0fb6b96186faf5fa049da5fbc18df7fee4bde759",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "a564211b294b91e2fd2b74302e427ce1bdf5de0b",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean.expected.out",
      "new_id": "17cc0d3145b964570198b272a40ffb495fd5e4e6",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean.expected.out"
    }
  ]
}