)]}'
{
  "commit": "898b724c27f6a4998b23d1407bef67f1009612fc",
  "tree": "ba6c2eafa0885e802ca4ddd22a00dcbfe091b700",
  "parents": [
    "b042f148ffb3d14471311bb71d5e4ae177cc8fe3"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Wed Nov 16 15:25:08 2022 -0800"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Wed Nov 16 15:25:08 2022 -0800"
  },
  "message": "fix: simp: check permutation based on theorem statement\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f0862794d11250cad31f7c39cd5df8b955abbc42",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "d8bef9b5e1a7fa5e7a2dba650138379fae875148",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0a0cea29ddb17be3a4f151360ddffc790b5391ff",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1815.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "838c5884b8bf94e828b6865b6c6810d5d25300d0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1842.lean"
    }
  ]
}