)]}'
{
  "commit": "9a0a2c610232a5055904f557db8b4ba530e15d91",
  "tree": "9f5f924e554b4e199923af398419199e115502e2",
  "parents": [
    "dfb9536c50d59094225edb3b85064ca445efd327"
  ],
  "author": {
    "name": "Marcin Witkowski",
    "email": "mwitkowski@antmicro.com",
    "time": "Thu Apr 14 17:25:39 2022 +0200"
  },
  "committer": {
    "name": "Marcin Witkowski",
    "email": "mwitkowski@antmicro.com",
    "time": "Thu Apr 14 17:36:00 2022 +0200"
  },
  "message": "sim:config: use upstream sel4 extensions\n\nChange-Id: I31ef32a5c7687a35d1f479975c8be7e6fdec5a30\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "b4ed8acda4e31f3c997b90b7fd9704675fb0387d",
      "old_mode": 33261,
      "old_path": "gdbscript.py",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "9be4dcb6586f352402f7e3002467d810c651fd80",
      "old_mode": 33188,
      "old_path": "shodan.resc",
      "new_id": "e0f09c93927114a14b8ab41b63ae243ca2515283",
      "new_mode": 33188,
      "new_path": "shodan.resc"
    },
    {
      "type": "delete",
      "old_id": "b4b09c91fc5e56b35374d72032aadedfaeb64059",
      "old_mode": 33188,
      "old_path": "shodan_infrastructure/seL4Extensions.cs",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}
