)]}'
{
  "commit": "40698c69b87eafe1127313db544ce046b2ad2ce6",
  "tree": "19733f05671d7be0c45c9bcf9f57e04c11fe583b",
  "parents": [
    "1681b2fa677d2c5dee1cdcd5f9bd1b47d841d8f0"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jul 02 12:38:51 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jul 02 12:38:51 2024 +1000"
  },
  "message": "chore: add \u0027since\u0027 dates to deprecated\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4ea1f190a20ed96a1f00a9a4634414cfa6ea9a74",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Basic.lean",
      "new_id": "eeba715f32bca5c6a5a1c983992fab53be1db182",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "9c2c1556e065f136f6a1804d53be7d0d338d7d74",
      "old_mode": 33188,
      "old_path": "src/Init/GetElem.lean",
      "new_id": "5cd8140f6bd77aaae53e979910285507d66d923f",
      "new_mode": 33188,
      "new_path": "src/Init/GetElem.lean"
    },
    {
      "type": "modify",
      "old_id": "379c6911f9d22f8d14a5395f3d55b9fc78fd6238",
      "old_mode": 33188,
      "old_path": "src/Lean/Message.lean",
      "new_id": "9cb2aecc348c546c71d3f70b407bc184f102478a",
      "new_mode": 33188,
      "new_path": "src/Lean/Message.lean"
    },
    {
      "type": "modify",
      "old_id": "9d6a1b027a9c4345e8bbece1256c93c2fac16066",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Replace.lean",
      "new_id": "493401c527ccf95c634a6fdef3634c7f768da390",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Replace.lean"
    },
    {
      "type": "modify",
      "old_id": "ec257525d5626bd295aad64aac9bfc13dbad8fb5",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Basic.lean",
      "new_id": "183b897a4371f8d0df3e4f19f71dbd4d610218dc",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a03f4b2f8e2d9b087590f31b5bcc211fefe1fff9",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Common.lean",
      "new_id": "e5d723cf07a68b009cfb42713580123d90714623",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Common.lean"
    },
    {
      "type": "modify",
      "old_id": "8b6ea6d2687f51483e05ca8aa438f4b6b7c8c99e",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Fetch.lean",
      "new_id": "8bf894d56c897ff963fa3c2124b7461d7be04b46",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Fetch.lean"
    },
    {
      "type": "modify",
      "old_id": "dea138ce971743ef6274e9a8da290fa13dcc3372",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Job.lean",
      "new_id": "7418c46175368c7642e81d48c2dfec564fea57c8",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Job.lean"
    },
    {
      "type": "modify",
      "old_id": "87e2cfe4091c399ec72383342d641c4b1295e3bf",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Trace.lean",
      "new_id": "a8323e9616202dae9300f808cf050c815c1d6f65",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Trace.lean"
    },
    {
      "type": "modify",
      "old_id": "68602af8a43f63299eed976ead9a41ce2eaa7608",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Util/Log.lean",
      "new_id": "b6185e1b456af0474a1f746eabb9a348c77548f8",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Util/Log.lean"
    }
  ]
}