)]}'
{
  "commit": "e721d58da9d3ad5c5b6045e7f4dbb65b9aca0649",
  "tree": "1fecb007f59c3a4840550968589dbc8729da0823",
  "parents": [
    "df663c83905bf5f58f07d12cc6d31b78acdf2885"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu Jan 11 16:27:33 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu Jan 11 16:27:33 2024 +1100"
  },
  "message": "move deprecations to Init/Notation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e74a543faf6bbf7e49988e8326e981701cea36f6",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "acecb4aa868f0cecdc9e123702ea0658a14162dd",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "06d8ab8208f504ae5487e147cbb4a809cef67f21",
      "old_mode": 33188,
      "old_path": "src/Lean/Linter/Deprecated.lean",
      "new_id": "b154439b7656b22e8b13a74b09aba2f1c0681bd2",
      "new_mode": 33188,
      "new_path": "src/Lean/Linter/Deprecated.lean"
    }
  ]
}