)]}'
{
  "commit": "a65658f3b158c52ecb758d4aedbea25e103c9ede",
  "tree": "d7a4b8d47ddaf368b8f5dc7b71d512f89a40cddc",
  "parents": [
    "e38e343ad6dcf03783b98330f984cb207391995c"
  ],
  "author": {
    "name": "Damon Lee",
    "email": "Damon.Lee@data61.csiro.au",
    "time": "Wed Jul 03 16:41:39 2019 +1000"
  },
  "committer": {
    "name": "Damon Lee",
    "email": "Damon.Lee@data61.csiro.au",
    "time": "Thu Jul 18 17:45:38 2019 +1000"
  },
  "message": "libsel4utils: Change IRQ server public structs\n\nThe structs are updated to account for the new design that\u0027s part of the\nrefactoring. The IRQ details are no longer exposed and the user is\nexpected to use a pointer to refer to an IRQ server object.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3e6f4728254cccf37608ae214524aa39ac810342",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/irq_server.h",
      "new_id": "beace62385559d13e5b675c0229afdbf4827c9be",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/irq_server.h"
    }
  ]
}