)]}'
{
  "commit": "f92acf624396442e0433973b7fa0685e704378fe",
  "tree": "813afa4ea50149aa901a2683abc93d6961bda0ef",
  "parents": [
    "be11e8e29b01be9ecefe0440f3888b9b9d50c203"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jul 18 23:17:36 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jul 18 23:17:36 2022 +0200"
  },
  "message": "fix: disable auto implicits in structure field default values\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9a1976b960426a37435810c1f79c27de3fcf744b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "8496c9d5a399490f802ff49d035a0b88c1aa5f1b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "modify",
      "old_id": "54b54dca3167ba9a6bacff51d6afa5bca0d38404",
      "old_mode": 33188,
      "old_path": "tests/lean/autoImplicitForbidden.lean",
      "new_id": "9cc11570aebe289f48f8ef19ad56b6edd3eeccaa",
      "new_mode": 33188,
      "new_path": "tests/lean/autoImplicitForbidden.lean"
    },
    {
      "type": "modify",
      "old_id": "33c9afc6852d9325dbc0df8c99385110811d22a5",
      "old_mode": 33188,
      "old_path": "tests/lean/autoImplicitForbidden.lean.expected.out",
      "new_id": "dc281130195d95946c600f5f622f9337f1957bc3",
      "new_mode": 33188,
      "new_path": "tests/lean/autoImplicitForbidden.lean.expected.out"
    }
  ]
}