)]}'
{
  "commit": "a9106d8015c530b904ed3ce36a3e125481f59297",
  "tree": "28512eba458c7dba5f3bb173b0bafbfae09ff76e",
  "parents": [
    "8ad3c4a17acea6ebe6cc857f57998dfd7fb52eaf"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Apr 11 17:09:53 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Apr 11 17:09:53 2025 +1000"
  },
  "message": "lint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1b1dd09d9fac532e668aeb56492a924343e90428",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Perm.lean",
      "new_id": "52c5a360d3a238b87a117ca39a890a6917c567f7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Perm.lean"
    }
  ]
}