)]}'
{
  "commit": "b22a2d1fcf28f4e270074f16829513154ba517c8",
  "tree": "3e9c49993be1cf7877df65ce33069ff7e0ce11dc",
  "parents": [
    "20323898ecfcfd2e4b06243fcc5b63ae351d398c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 05 18:10:05 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 05 18:22:54 2022 +0200"
  },
  "message": "fix: logging of linter warnings\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1c433c4a962358008b113628af99784466e4f491",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/Builtin.lean",
      "new_id": "e1f10a05cfa91b7959a2f89b9859dbd2730e1182",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/Builtin.lean"
    },
    {
      "type": "modify",
      "old_id": "f4ba57dcff78a2ee84f75d744f189e23e869f85e",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/MissingDocs.lean",
      "new_id": "9eda077021bda66ad9231c9842012b31f2a32518",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/MissingDocs.lean"
    },
    {
      "type": "modify",
      "old_id": "4bc2886edac3b74bd22c544b7598ccc1096a8aeb",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/UnusedVariables.lean",
      "new_id": "cec35d72bdc94db782df85d4690f3b3cdad86901",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/UnusedVariables.lean"
    },
    {
      "type": "modify",
      "old_id": "a8d9f09c8bcdab2dc7d1a6bc3801832dcce189c2",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/Util.lean",
      "new_id": "e38e54ddbceb1a107b376f671fd813ca9bcdf60d",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "f612f4fa12818f770ee89915d67c385b596c8ade",
      "old_mode": 33188,
      "old_path": "tests/lean/warningAsError.lean",
      "new_id": "cd35d1f68806d8c53d7c5d7fb7e2dfd64da9cb4c",
      "new_mode": 33188,
      "new_path": "tests/lean/warningAsError.lean"
    },
    {
      "type": "modify",
      "old_id": "9f30e68807dc1c547abe914c508b96fc4328588b",
      "old_mode": 33188,
      "old_path": "tests/lean/warningAsError.lean.expected.out",
      "new_id": "aba481ace96cd032c601121afc606b71d30bb7bd",
      "new_mode": 33188,
      "new_path": "tests/lean/warningAsError.lean.expected.out"
    }
  ]
}