)]}'
{
  "commit": "420e863442eb72c35fa3b8a32313980853ba4cff",
  "tree": "6cfd183b235df313729af7645bc9a04e41e67809",
  "parents": [
    "066e52eeaa329d782ccee96265a6a351fc395bf1"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 13:04:49 2022 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Mon Nov 28 17:00:03 2022 +0000"
  },
  "message": "dp info: Provide Link_Status\u0027Object_Size and padding\n\nWe convert a plane byte buffer to a `Link_Status` object via an\n`Unchecked_Conversion`. While the situation is actually clear\nto the compiler because of the record representation clause for\n`Link_Status`, SPARK rules demand an explicit `\u0027Object_Size`.\n\nThe `\u0027Object_Size` attribute specifies the exact size the\ncompiler should allocate for objects of the given type. The\n`Padding` field is added to fill the gap left by reserved\nbits.\n\nChange-Id: Id7f6b9f50105d9357adcb60fd551b719d9eccd30\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68105\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "392fee13d291878d36604436ae87f638bf027b17",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-dp_info.adb",
      "new_id": "74e77a2b06f1318f18dbea0c1863ff1f0d0d4be9",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-dp_info.adb"
    },
    {
      "type": "modify",
      "old_id": "6d22bccfc957ff195b3d42fd01302b138303130d",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-dp_info.ads",
      "new_id": "732894b5ab540c4b7eed91b60d2441666ccc4e38",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-dp_info.ads"
    }
  ]
}