)]}'
{
  "commit": "4628e683bd3112aac9b4665c2248a16270c2c58e",
  "tree": "a209ff7bb98890db9ed69b9a48e9d146e97e86d2",
  "parents": [
    "57c3b8f8be831ded160eebebb66f87a4ab275a84"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Feb 14 15:03:47 2024 -0800"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu Feb 15 14:35:57 2024 +1100"
  },
  "message": "chore: add `[ext]` basic theorems, add test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0a9c9946904c92e5633cc4cb1e596fd97659b9d6",
      "old_mode": 33188,
      "old_path": "src/Init/Ext.lean",
      "new_id": "2f9afce5cafa48c5d33e0e751f3b4e48411967a6",
      "new_mode": 33188,
      "new_path": "src/Init/Ext.lean"
    },
    {
      "type": "modify",
      "old_id": "b16ebff1d043c6292c9f64901934c4c89db5c61c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Ext.lean",
      "new_id": "5958286dba95860593c716672463b36909d40c34",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Ext.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "08b4c2be72e0ef5f64028f75716ab8261639cc0e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/ext1.lean"
    }
  ]
}