)]}'
{
  "commit": "0788fff40604394dac2a8aba9e2b317f44246bb6",
  "tree": "ade834551890abd270b5f1c95be03ef0d070ce76",
  "parents": [
    "e2265d628eae82a603c45552add8f4aca271cc66"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 21:59:31 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 21:59:31 2024 +1000"
  },
  "message": ",\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b746491e18aea005b8d903c2671ca15ce8ce0615",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "caf849335f2267337e36dba1c84e7715fddf7c69",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}