)]}'
{
  "commit": "1f3825ef03c6e890afe536ddbd4877f1b2e757fe",
  "tree": "f36d87cea5a572470f29fa60889a82581c3d1c70",
  "parents": [
    "22173223f4d561746631bbe7099cd01293533e3f"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Thu Dec 14 00:05:20 2023 +0100"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Thu Dec 14 00:08:59 2023 +0100"
  },
  "message": "Disable SPARK_Mode for use of \u0027Address\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5bb6732d845897172557f73d3aba60451269c07a",
      "old_mode": 33188,
      "old_path": "src/filo-blockdev.adb",
      "new_id": "44f79bde43a891f5be131489a31840eee35d3e3c",
      "new_mode": 33188,
      "new_path": "src/filo-blockdev.adb"
    }
  ]
}