)]}'
{
  "commit": "63b0146c05e04daf71f31fe10f40ec0b470b1f6d",
  "tree": "b5c31e79ae1ad0f34d4a33c7e8d19ecffc7f20d4",
  "parents": [
    "a00d93cf228f8f08f4b483969f727021b7e52f9f"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 20 12:59:18 2018 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 20 12:59:18 2018 +0100"
  },
  "message": "feat(lean4-mode/lean4-flycheck): add `lean4-bootstrapped-checker`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9af32094ee200c4b878c28220b552c5c3b818bd5",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-flycheck.el",
      "new_id": "44fd6c0b569bb9e37f35a241ebe4d49896e059ff",
      "new_mode": 33188,
      "new_path": "lean4-mode/lean4-flycheck.el"
    }
  ]
}