)]}'
{
  "commit": "9066ec5e7c224f4b6edbb3ade0486df7879adf71",
  "tree": "017d25d03177d230c6acf34e361bbc8d47c8176b",
  "parents": [
    "163b030df1238cccb240d86ef1c2f48f447336e9"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Feb 07 10:04:07 2024 +1100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Feb 07 10:04:07 2024 +1100"
  },
  "message": "Update src/Lean/Server/InfoUtils.lean",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4a688af45eed9472a1f1290dd92d5c1e03fd8332",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "086bb984ef7cd865adfee4a6473586512dcdd094",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    }
  ]
}