)]}'
{
  "commit": "3678de2c63c270d2e7ed9c56aa40c2e4ba2a5735",
  "tree": "5edfcfc43f0c26c95d0cb80e430ee7571a35f08e",
  "parents": [
    "5b268cceca13d5ba0f16bee624e3973d46ba8f30"
  ],
  "author": {
    "name": "Gerwin Klein",
    "email": "gerwin.klein@proofcraft.systems",
    "time": "Mon Sep 13 11:55:28 2021 +1000"
  },
  "committer": {
    "name": "Gerwin Klein",
    "email": "gerwin@doclsf.de",
    "time": "Mon Sep 13 14:31:38 2021 +1000"
  },
  "message": "github: style check on diff only for this repo\n\nThis repository is not yet fully style-clean, and the policy is to\nupdate files as we touch them, not in one big go. Until we have reached\na fully style-clean state, we should check only the diff on push, not\nall files.\n\nSigned-off-by: Gerwin Klein \u003cgerwin.klein@proofcraft.systems\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "31da3cd566c1f579f662a8619966bef51da879e5",
      "old_mode": 33188,
      "old_path": ".github/workflows/push.yml",
      "new_id": "76dbb0a197968f2af3169887287985e09fc0ece8",
      "new_mode": 33188,
      "new_path": ".github/workflows/push.yml"
    }
  ]
}
