)]}'
{
  "commit": "83bb6be1a1c90121388192c1d74cbe3a60c94a7a",
  "tree": "a28c6f391376e88aa38a2f262cd297bf3cb64c0d",
  "parents": [
    "a0f73c3e1ef6d90a258dd1c005dda87ff7a530f4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 29 12:11:24 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Dec 29 12:11:24 2024 -0800"
  },
  "message": "chore: check whether declaration is a theorem or not\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9e54c05a16db4271498db59480488e02341e079c",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/TheoremPatterns.lean",
      "new_id": "4a9d2c9a20e5bdbacd74a5dcedc4969934fb00e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/TheoremPatterns.lean"
    },
    {
      "type": "modify",
      "old_id": "1d3e93b8fd4b1c7198b38f6eb80d8727fb32a0db",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pattern1.lean",
      "new_id": "79c3a564eb584d765ddec519881269f98c5c1939",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pattern1.lean"
    }
  ]
}