)]}'
{
  "commit": "68dd09dc6b12eafcb8857cb9ffc55df34a6a7c8a",
  "tree": "d245384358a911c9cab259873e035997ca49ce6c",
  "parents": [
    "d4929ed324d7effa17389cd641bc4c55a08822ed",
    "3bb7a30f76321cea1945088d0b448b02d07c05fe"
  ],
  "author": {
    "name": "bors[bot]",
    "email": "26634292+bors[bot]@users.noreply.github.com",
    "time": "Mon Jun 22 18:50:30 2020 +0000"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Mon Jun 22 18:50:30 2020 +0000"
  },
  "message": "Merge #203\n\n203: Add a CI tool that prints a size diff for incoming PRs. r\u003djrvanwhy a\u003djrvanwhy\n\nThe diff is computed by building the examples with `make examples` both in the PR\u0027s target branch and the merge result, and running `diff` on the result.\r\n\r\nThis is built using GitHub Actions because upstream Tock is moving to GitHub Actions (see https://github.com/tock/tock/pull/1815, and [this core WG discussion](https://github.com/tock/tock/blob/master/doc/wg/core/notes/core-notes-2020-04-24.md#ci-infrastructure-travis-to-github-actions)).\n\nCo-authored-by: Johnathan Van Why \u003cjrvanwhy@google.com\u003e\n",
  "tree_diff": []
}