)]}'
{
  "commit": "eb012078a37073e99ac2bd297050f5a0ec941f47",
  "tree": "a4dfc4b9f1188b32346d0b3935d0588f67617a00",
  "parents": [
    "7eb569254a611a81fa47344b76c5db0fd8b7c407"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.huber@secunet.com",
    "time": "Wed Jan 10 17:56:24 2024 +0100"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.huber@secunet.com",
    "time": "Wed Jan 10 17:56:24 2024 +0100"
  },
  "message": "ext2: Finish round of proofs for inode version of Open()\n\nOnly things left that could possibly be shown with a predicate\non Mount_State.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a69730e6aa0d85d1e71af5db5494b23af2effd59",
      "old_mode": 33188,
      "old_path": "src/filo-fs-ext2.adb",
      "new_id": "d7bd01846bfc0ad8fc24bc324d3e97d01e8790d1",
      "new_mode": 33188,
      "new_path": "src/filo-fs-ext2.adb"
    }
  ]
}