)]}'
{
  "commit": "20faa97e6a845a65212b0e3dea38a0bda841a597",
  "tree": "fb1bf4a2577be18ba090bfdb3624f6aec778b6d8",
  "parents": [
    "ca6437df717b550cbea3e110f3093c1250d5c5be"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri May 10 16:50:53 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri May 10 16:50:53 2024 +1000"
  },
  "message": "chore: add warning comments about findM?\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7fefdd21234f4d473dcd2a210df9ea1d42a85a4e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Injective.lean",
      "new_id": "1a5c91e5835f58d746b9ff307424db229349a460",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Injective.lean"
    },
    {
      "type": "modify",
      "old_id": "e9788ea76bf1cdf0cc5c253a7b6b07a0429f24c3",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/FindExpr.lean",
      "new_id": "97ea6d9ec873a90faf80f7f2d603f750e6905745",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/FindExpr.lean"
    }
  ]
}