)]}'
{
  "commit": "17b513ed2d0830aec5eb1e65333aa0e0cc061627",
  "tree": "f128acb526ae48ba8004919ce4e2c5a0785a0e1f",
  "parents": [
    "3c1ac1884c3cbb64a95947f4f7f732ed1ce97169"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 13:36:02 2022 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Mon Nov 28 17:03:22 2022 +0000"
  },
  "message": "gma: Shuffle warning justifications to support old and new tooling\n\nWe annotate a check message because the actual behaviour of Power_Up_VGA\ndepends on the platform we compile for. For the same reason we have to\njustify a warning that the annotation may be spurious. SPARK rules state\nthat the annotation has to directly follow the subprogram\u0027s body. Appa-\nrently that also accounts for the warning justification, so move it\nabove the subprogram body.\n\nChange-Id: I8f879e73b3ea43de7e10532fba6a9b2bb9eecfcf\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68108\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "851686e9985dfc377657f93e2b3811e637003eed",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-gma.adb",
      "new_id": "87c8fb0e1fbaa90da940a7ea8e760fbe9125cacb",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-gma.adb"
    }
  ]
}