)]}'
{
  "commit": "771f2bbcb2cf998c75f38b2a3b6032e3144039c3",
  "tree": "a0b8c78c61fb2d7b0491150e3589e2d40a4c9ab8",
  "parents": [
    "dcbb196eef4a83314c872461cebdcc85737164ac"
  ],
  "author": {
    "name": "David Chisnall",
    "email": "github@theravensnest.org",
    "time": "Fri Jun 07 13:12:12 2024 +0100"
  },
  "committer": {
    "name": "David Chisnall",
    "email": "davidchisnall@users.noreply.github.com",
    "time": "Fri Jun 07 13:25:03 2024 +0100"
  },
  "message": "Fix corner case in tickless scheduling.\n\nThere are two reasons we request a timer interrupt:\n\n - There is a peer at the same scheduler priority.\n - There is a timer that will expire.\n\nIf *both* of these were true, we were delaying the scheduling until the\nsecond condition.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2c13ffbd50905675bbabcad930e9ea9f281dd6bd",
      "old_mode": 33188,
      "old_path": "sdk/core/scheduler/timer.h",
      "new_id": "45355b625cc8c7500d607f6b4155477c07b4861b",
      "new_mode": 33188,
      "new_path": "sdk/core/scheduler/timer.h"
    }
  ]
}