)]}'
{
  "commit": "389a160430098366ba668345e9e1a09eadb171ad",
  "tree": "d9de1219c5c8f9420abe2e2113e7d9302080f538",
  "parents": [
    "c3f384d6a5605b04ff7d15d7861532a531c89d9a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Sep 20 17:02:05 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Sep 20 17:02:05 2024 +1000"
  },
  "message": "chore: reverse direction of List.set_map\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "69f7f5e655a0fadfefbd86f5c96cd01f2d720906",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "3734f81ed9d8a634621012518d1d42f16ed5d3c5",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}