)]}'
{
  "commit": "c86e5470f93478842610ee4ec468fe1d694dbe2f",
  "tree": "a23552e9018b62a4f9804540b09a3dd3dc21920a",
  "parents": [
    "9aeae677081f0a23f5b4236f2d10317ce4811c41"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Thu Mar 30 16:44:44 2023 -0700"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Thu Apr 06 16:32:44 2023 +0000"
  },
  "message": "fix: simp: strip mdata when testing for True/False\n\nFixes #2173\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d51a741618a2517a4597555ad7a7cd53930a1927",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "fc6abfd77178ca8ef171beecf880714e91a3fd15",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "33b25082aa3ea3e98f953318ab484d50eeef542a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "aa3103faff24d74eb3aafd69c26e4ebb08d3ae56",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "2b91db680cb899e57af5273a70e80e8e96a691b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean",
      "new_id": "b342565df803a600b1eff424a65c90bd48007523",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d67431611a6cf76256607cb9f86ca76ebc2a9c24",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2173.lean"
    }
  ]
}