)]}'
{
  "commit": "f4e136de4c7cf12318fc887983564dbd0c7970d0",
  "tree": "0e3a9da42ec7ead4930d67946ddffc5e119e0bfd",
  "parents": [
    "79b7b8f1d44a6b6651c403f34720a248a34b928e"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Aug 22 15:54:54 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Aug 22 15:54:54 2024 +1000"
  },
  "message": "deprecation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "37b237bb5a56055bd3f09e89f738c698128a23c1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Sublist.lean",
      "new_id": "6d7b420ac0bfebd0e88df28834f076cecbd7a022",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Sublist.lean"
    }
  ]
}