)]}'
{
  "commit": "0bb60c774e197b403bf99ed26bcab15df9b66867",
  "tree": "eb9a658fb7716fe9337c45300e27b4a14f79f95b",
  "parents": [
    "f76a17b33f85d714ea33d37e8975a02382abb28c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Oct 29 11:22:00 2023 -0700"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon Oct 30 12:00:26 2023 +1100"
  },
  "message": "fix: fixes #2178\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1040c0e7159eca60ff22311da83d6027b6ae9ee8",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "1525124cd976309f237b5b786ced5d855fc9e4c7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0d6d253690eb7c28038c91130390e0ab4c320d80",
      "new_mode": 33188,
      "new_path": "tests/lean/2178.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e69de29bb2d1d6434b8b29ae775ad8c2e48c5391",
      "new_mode": 33188,
      "new_path": "tests/lean/2178.lean.expected.out"
    }
  ]
}