)]}'
{
  "commit": "85527dbad4c1dee8b0e2ecd1aba6e216a9b67914",
  "tree": "9dd4d2aac6b570c19951fa374e6607ae133a98bf",
  "parents": [
    "10790023fb2058f84572fc2b861aaaa7f90031a8"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Sun Mar 17 17:25:42 2024 +1100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Sun Mar 17 17:25:42 2024 +1100"
  },
  "message": "Update src/Lean/Meta/Tactic/Apply.lean\n\nCo-authored-by: Kyle Miller \u003ckmill31415@gmail.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7c2fc78fd411398766d0ee8725fe1f49c4a68c79",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Apply.lean",
      "new_id": "891c43fc2edf9959d537959e1d18256e65d7e908",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Apply.lean"
    }
  ]
}