)]}'
{
  "commit": "ea5db6e5178dda9263a9d1489ed7971cdff99292",
  "tree": "2b519118a20926a2674c9c7a53933f46c04d176b",
  "parents": [
    "8a32427757a80eb846e529db665437a705464ebe"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 21 10:38:53 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 21 10:38:53 2024 -0700"
  },
  "message": "feat: add `grind.injection`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3dce49a7d48270a64afedbb2b0016a7506475626",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CtorRecognizer.lean",
      "new_id": "1323fbaf6cb2a6a2f705000a1543b38b01a9e3bb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CtorRecognizer.lean"
    },
    {
      "type": "modify",
      "old_id": "3d9675f74671eb50fd2a7dd5b40d1a1d7a5b1911",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "a699864091cfbf529fabbaee1909deb802a63c7b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "65c9778621388da6a95bcc418223e84f1a946cd6",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Injection.lean"
    },
    {
      "type": "modify",
      "old_id": "393b434689549bfdefb1ca2258a330f765ee41cf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean",
      "new_id": "04ac79c4d45f958880f23ce8103bec12da83bc05",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean"
    },
    {
      "type": "modify",
      "old_id": "5a0d45ccaf1b31dc511a1cc1b1f9a205b5f1fc25",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "d8f493c75563fa0f428458e41125adb41e97ec2f",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    }
  ]
}