)]}'
{
  "commit": "5bd703a87d1030c23638603fe42e5e8d70fe15b8",
  "tree": "a7fbae52b9a573dfc3911a7b0f515564d9d2de2e",
  "parents": [
    "3be22538d210bea69b8a8d1cd36ff29d7f89c634"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 28 08:33:59 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 28 08:33:59 2024 -0700"
  },
  "message": "chore: code convention\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d51f46e7bd3bfcd690d4807cb19f58e54dc5b56d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprLens.lean",
      "new_id": "66be41e50da652bb310110854599aacff23276e1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprLens.lean"
    },
    {
      "type": "modify",
      "old_id": "d9cb079df586ca425dcc8a23a208f2a8754fdf89",
      "old_mode": 33188,
      "old_path": "src/Lean/SubExpr.lean",
      "new_id": "4c40f04b51ba795d05df009e7fd6740b50ae967e",
      "new_mode": 33188,
      "new_path": "src/Lean/SubExpr.lean"
    }
  ]
}